Trace number 4435959

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 NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02OPT20 2832.86 2842.65

DiagnosticValue
AM1LB0
LOWERBOUND20
NAM1S0
NCORES14
NEXHAUSTED1
NPBCORES0
NPBREFORM0
NTRIMMED10

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM2f5de9b63d0a2988dce846045b262c40
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark41.0486
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.10/0.12	c [STEP] solving
0.10/0.12	c #variables 5499 #constraints 19319
0.10/0.12	c SMALL=int, LARGE=long long
0.10/0.12	c bounds - >= 5 @ 0.082702
0.10/0.12	c stratification level: 0
0.10/0.13	c bounds - >= 6 @ 0.090048
0.10/0.13	c bounds - >= 7 @ 0.090696
0.10/0.13	c bounds - >= 8 @ 0.09141
0.10/0.13	c bounds - >= 9 @ 0.093108
0.10/0.13	c bounds - >= 10 @ 0.093942
0.10/0.13	c bounds - >= 11 @ 0.094562
0.10/0.13	c finalizing WCE round: reformulating cores
3.28/3.37	c #Conflicts:       1000 | #Constraints:      20336
3.28/3.37	c #Conflicts:       2000 | #Constraints:      21338
3.28/3.37	c INPROCESSING
3.28/3.37	c GARBAGE COLLECT
3.28/3.37	c #Conflicts:       3000 | #Constraints:      21335
3.28/3.37	c #Conflicts:       4000 | #Constraints:      22337
3.28/3.37	c INPROCESSING
3.28/3.37	c GARBAGE COLLECT
3.28/3.37	c bounds 26 >= 11 @ 3.12686
3.28/3.37	c bounds 26 >= 12 @ 3.13157
3.28/3.37	c #Conflicts:       5000 | #Constraints:      21753
3.28/3.37	c bounds 26 >= 13 @ 3.14362
3.28/3.37	c bounds 26 >= 14 @ 3.19414
3.28/3.37	c finalizing WCE round: reformulating cores
7.86/7.92	c #Conflicts:       6000 | #Constraints:      22769
7.86/7.92	c INPROCESSING
7.86/7.92	c GARBAGE COLLECT
7.86/7.92	c #Conflicts:       7000 | #Constraints:      21768
7.86/7.92	c bounds 25 >= 13 @ 4.45802
7.86/7.92	c #Conflicts:       8000 | #Constraints:      22772
7.86/7.92	c bounds 25 >= 15 @ 5.29467
7.86/7.92	c #Conflicts:       9000 | #Constraints:      23772
7.86/7.92	c INPROCESSING
7.86/7.92	c GARBAGE COLLECT
7.86/7.92	c #Conflicts:      10000 | #Constraints:      22438
7.86/7.92	c bounds 25 >= 16 @ 7.63853
7.86/7.92	c finalizing WCE round: reformulating cores
72.77/73.04	c bounds 24 >= 16 @ 9.32193
72.77/73.04	c #Conflicts:      11000 | #Constraints:      23469
72.77/73.04	c bounds 24 >= 17 @ 9.81302
72.77/73.04	c #Conflicts:      12000 | #Constraints:      24491
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      13000 | #Constraints:      22967
72.77/73.04	c #Conflicts:      14000 | #Constraints:      23967
72.77/73.04	c #Conflicts:      15000 | #Constraints:      24967
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      16000 | #Constraints:      23263
72.77/73.04	c #Conflicts:      17000 | #Constraints:      24263
72.77/73.04	c #Conflicts:      18000 | #Constraints:      25263
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      19000 | #Constraints:      23293
72.77/73.04	c #Conflicts:      20000 | #Constraints:      24293
72.77/73.04	c #Conflicts:      21000 | #Constraints:      25293
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      22000 | #Constraints:      23140
72.77/73.04	c #Conflicts:      23000 | #Constraints:      24140
72.77/73.04	c #Conflicts:      24000 | #Constraints:      25140
72.77/73.04	c #Conflicts:      25000 | #Constraints:      26140
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      26000 | #Constraints:      23771
72.77/73.04	c #Conflicts:      27000 | #Constraints:      24771
72.77/73.04	c #Conflicts:      28000 | #Constraints:      25771
72.77/73.04	c #Conflicts:      29000 | #Constraints:      26771
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      30000 | #Constraints:      24225
72.77/73.04	c #Conflicts:      31000 | #Constraints:      25225
72.77/73.04	c #Conflicts:      32000 | #Constraints:      26225
72.77/73.04	c #Conflicts:      33000 | #Constraints:      27225
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      34000 | #Constraints:      24461
72.77/73.04	c #Conflicts:      35000 | #Constraints:      25461
72.77/73.04	c #Conflicts:      36000 | #Constraints:      26461
72.77/73.04	c #Conflicts:      37000 | #Constraints:      27461
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      38000 | #Constraints:      24448
72.77/73.04	c #Conflicts:      39000 | #Constraints:      25448
72.77/73.04	c #Conflicts:      40000 | #Constraints:      26448
72.77/73.04	c #Conflicts:      41000 | #Constraints:      27448
72.77/73.04	c INPROCESSING
72.77/73.04	c GARBAGE COLLECT
72.77/73.04	c #Conflicts:      42000 | #Constraints:      24256
72.77/73.04	c #Conflicts:      43000 | #Constraints:      25256
72.77/73.04	c #Conflicts:      44000 | #Constraints:      26256
72.77/73.04	c bounds 24 >= 18 @ 69.9972
72.77/73.04	c #Conflicts:      45000 | #Constraints:      27287
72.77/73.04	c finalizing WCE round: reformulating cores
258.52/259.46	c #Conflicts:      46000 | #Constraints:      28290
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      47000 | #Constraints:      24905
258.52/259.46	c bounds 22 >= 18 @ 74.9814
258.52/259.46	c #Conflicts:      48000 | #Constraints:      25905
258.52/259.46	c #Conflicts:      49000 | #Constraints:      26905
258.52/259.46	c #Conflicts:      50000 | #Constraints:      27905
258.52/259.46	c #Conflicts:      51000 | #Constraints:      28905
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      52000 | #Constraints:      25294
258.52/259.46	c #Conflicts:      53000 | #Constraints:      26294
258.52/259.46	c #Conflicts:      54000 | #Constraints:      27294
258.52/259.46	c #Conflicts:      55000 | #Constraints:      28294
258.52/259.46	c #Conflicts:      56000 | #Constraints:      29294
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      57000 | #Constraints:      25498
258.52/259.46	c #Conflicts:      58000 | #Constraints:      26498
258.52/259.46	c #Conflicts:      59000 | #Constraints:      27498
258.52/259.46	c #Conflicts:      60000 | #Constraints:      28498
258.52/259.46	c #Conflicts:      61000 | #Constraints:      29498
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      62000 | #Constraints:      25531
258.52/259.46	c #Conflicts:      63000 | #Constraints:      26531
258.52/259.46	c #Conflicts:      64000 | #Constraints:      27531
258.52/259.46	c #Conflicts:      65000 | #Constraints:      28531
258.52/259.46	c #Conflicts:      66000 | #Constraints:      29531
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      67000 | #Constraints:      25369
258.52/259.46	c #Conflicts:      68000 | #Constraints:      26369
258.52/259.46	c #Conflicts:      69000 | #Constraints:      27369
258.52/259.46	c #Conflicts:      70000 | #Constraints:      28369
258.52/259.46	c #Conflicts:      71000 | #Constraints:      29369
258.52/259.46	c #Conflicts:      72000 | #Constraints:      30369
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      73000 | #Constraints:      25994
258.52/259.46	c #Conflicts:      74000 | #Constraints:      26994
258.52/259.46	c #Conflicts:      75000 | #Constraints:      27994
258.52/259.46	c #Conflicts:      76000 | #Constraints:      28994
258.52/259.46	c #Conflicts:      77000 | #Constraints:      29994
258.52/259.46	c #Conflicts:      78000 | #Constraints:      30994
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      79000 | #Constraints:      26423
258.52/259.46	c #Conflicts:      80000 | #Constraints:      27423
258.52/259.46	c #Conflicts:      81000 | #Constraints:      28423
258.52/259.46	c #Conflicts:      82000 | #Constraints:      29423
258.52/259.46	c #Conflicts:      83000 | #Constraints:      30423
258.52/259.46	c #Conflicts:      84000 | #Constraints:      31423
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      85000 | #Constraints:      26604
258.52/259.46	c #Conflicts:      86000 | #Constraints:      27604
258.52/259.46	c #Conflicts:      87000 | #Constraints:      28604
258.52/259.46	c #Conflicts:      88000 | #Constraints:      29604
258.52/259.46	c #Conflicts:      89000 | #Constraints:      30604
258.52/259.46	c #Conflicts:      90000 | #Constraints:      31604
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      91000 | #Constraints:      26637
258.52/259.46	c #Conflicts:      92000 | #Constraints:      27637
258.52/259.46	c #Conflicts:      93000 | #Constraints:      28637
258.52/259.46	c #Conflicts:      94000 | #Constraints:      29637
258.52/259.46	c #Conflicts:      95000 | #Constraints:      30637
258.52/259.46	c #Conflicts:      96000 | #Constraints:      31637
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c #Conflicts:      97000 | #Constraints:      26494
258.52/259.46	c #Conflicts:      98000 | #Constraints:      27494
258.52/259.46	c #Conflicts:      99000 | #Constraints:      28494
258.52/259.46	c #Conflicts:     100000 | #Constraints:      29494
258.52/259.46	c #Conflicts:     101000 | #Constraints:      30494
258.52/259.46	c #Conflicts:     102000 | #Constraints:      31494
258.52/259.46	c #Conflicts:     103000 | #Constraints:      32494
258.52/259.46	c INPROCESSING
258.52/259.46	c GARBAGE COLLECT
258.52/259.46	c bounds 22 >= 19 @ 245.692
258.52/259.46	c #Conflicts:     104000 | #Constraints:      27151
258.52/259.46	c #Conflicts:     105000 | #Constraints:      28151
258.52/259.46	c #Conflicts:     106000 | #Constraints:      29151
258.52/259.46	c #Conflicts:     107000 | #Constraints:      30151
258.52/259.46	c #Conflicts:     108000 | #Constraints:      31151
258.52/259.46	c finalizing WCE round: reformulating cores
894.49/897.75	c #Conflicts:     109000 | #Constraints:      32154
894.49/897.75	c bounds 21 >= 19 @ 259.072
894.49/897.75	c #Conflicts:     110000 | #Constraints:      33154
894.49/897.75	c INPROCESSING
894.49/897.75	c GARBAGE COLLECT
894.49/897.75	c #Conflicts:     111000 | #Constraints:      27559
894.49/897.75	c #Conflicts:     112000 | #Constraints:      28559
894.49/897.75	c #Conflicts:     113000 | #Constraints:      29559
894.49/897.75	c #Conflicts:     114000 | #Constraints:      30559
894.49/897.75	c #Conflicts:     115000 | #Constraints:      31559
894.49/897.75	c #Conflicts:     116000 | #Constraints:      32559
894.49/897.75	c #Conflicts:     117000 | #Constraints:      33559
894.49/897.75	c INPROCESSING
894.49/897.75	c GARBAGE COLLECT
894.49/897.75	c #Conflicts:     118000 | #Constraints:      27735
894.49/897.75	c #Conflicts:     119000 | #Constraints:      28735
894.49/897.75	c #Conflicts:     120000 | #Constraints:      29735
894.49/897.75	c #Conflicts:     121000 | #Constraints:      30735
894.49/897.75	c #Conflicts:     122000 | #Constraints:      31735
894.49/897.75	c #Conflicts:     123000 | #Constraints:      32735
894.49/897.75	c #Conflicts:     124000 | #Constraints:      33735
894.49/897.75	c #Conflicts:     125000 | #Constraints:      34735
894.49/897.75	c #Conflicts:     126000 | #Constraints:      35735
894.49/897.75	c #Conflicts:     127000 | #Constraints:      36735
894.49/897.75	c #Conflicts:     128000 | #Constraints:      37735
894.49/897.75	c #Conflicts:     129000 | #Constraints:      38735
894.49/897.75	c #Conflicts:     130000 | #Constraints:      39735
894.49/897.75	c #Conflicts:     131000 | #Constraints:      40735
894.49/897.75	c #Conflicts:     132000 | #Constraints:      41735
894.49/897.75	c #Conflicts:     133000 | #Constraints:      42735
894.49/897.75	c #Conflicts:     134000 | #Constraints:      43735
894.49/897.75	c #Conflicts:     135000 | #Constraints:      44735
894.49/897.75	c #Conflicts:     136000 | #Constraints:      45735
894.49/897.75	c #Conflicts:     137000 | #Constraints:      46735
894.49/897.75	c #Conflicts:     138000 | #Constraints:      47735
894.49/897.75	c #Conflicts:     139000 | #Constraints:      48735
894.49/897.75	c #Conflicts:     140000 | #Constraints:      49735
894.49/897.75	c #Conflicts:     141000 | #Constraints:      50735
894.49/897.75	c #Conflicts:     142000 | #Constraints:      51735
894.49/897.75	c #Conflicts:     143000 | #Constraints:      52735
894.49/897.75	c #Conflicts:     144000 | #Constraints:      53735
894.49/897.75	c #Conflicts:     145000 | #Constraints:      54735
894.49/897.75	c #Conflicts:     146000 | #Constraints:      55735
894.49/897.75	c #Conflicts:     147000 | #Constraints:      56735
894.49/897.75	c #Conflicts:     148000 | #Constraints:      57735
894.49/897.75	c INPROCESSING
894.49/897.75	c GARBAGE COLLECT
894.49/897.75	c #Conflicts:     149000 | #Constraints:      39659
894.49/897.75	c #Conflicts:     150000 | #Constraints:      40659
894.49/897.75	c #Conflicts:     151000 | #Constraints:      41659
894.49/897.75	c #Conflicts:     152000 | #Constraints:      42659
894.49/897.75	c #Conflicts:     153000 | #Constraints:      43659
894.49/897.75	c #Conflicts:     154000 | #Constraints:      44659
894.49/897.75	c #Conflicts:     155000 | #Constraints:      45659
894.49/897.75	c #Conflicts:     156000 | #Constraints:      46659
894.49/897.75	c INPROCESSING
894.49/897.75	c GARBAGE COLLECT
894.49/897.75	c #Conflicts:     157000 | #Constraints:      33990
894.49/897.75	c #Conflicts:     158000 | #Constraints:      34990
894.49/897.75	c #Conflicts:     159000 | #Constraints:      35990
894.49/897.75	c #Conflicts:     160000 | #Constraints:      36990
894.49/897.75	c #Conflicts:     161000 | #Constraints:      37990
894.49/897.75	c #Conflicts:     162000 | #Constraints:      38990
894.49/897.75	c #Conflicts:     163000 | #Constraints:      39990
894.49/897.75	c #Conflicts:     164000 | #Constraints:      40990
894.49/897.75	c #Conflicts:     165000 | #Constraints:      41990
894.49/897.75	c INPROCESSING
894.49/897.75	c GARBAGE COLLECT
894.49/897.75	c #Conflicts:     166000 | #Constraints:      31937
894.49/897.75	c #Conflicts:     167000 | #Constraints:      32937
894.49/897.75	c #Conflicts:     168000 | #Constraints:      33937
894.49/897.75	c #Conflicts:     169000 | #Constraints:      34937
894.49/897.75	c #Conflicts:     170000 | #Constraints:      35937
894.49/897.75	c #Conflicts:     171000 | #Constraints:      36937
894.49/897.75	c #Conflicts:     172000 | #Constraints:      37937
894.49/897.75	c #Conflicts:     173000 | #Constraints:      38937
894.49/897.75	c #Conflicts:     174000 | #Constraints:      39937
894.49/897.75	c INPROCESSING
894.49/897.75	c GARBAGE COLLECT
894.49/897.75	c #Conflicts:     175000 | #Constraints:      31017
894.49/897.75	c #Conflicts:     176000 | #Constraints:      32017
894.49/897.75	c #Conflicts:     177000 | #Constraints:      33017
894.49/897.75	c #Conflicts:     178000 | #Constraints:      34017
894.49/897.75	c #Conflicts:     179000 | #Constraints:      35017
894.49/897.75	c #Conflicts:     180000 | #Constraints:      36017
894.49/897.75	c #Conflicts:     181000 | #Constraints:      37017
894.49/897.75	c #Conflicts:     182000 | #Constraints:      38017
894.49/897.75	c INPROCESSING
894.49/897.75	c GARBAGE COLLECT
1758.74/1764.91	c #Conflicts:     183000 | #Constraints:      29568
1758.74/1764.91	c #Conflicts:     184000 | #Constraints:      30568
1758.74/1764.91	c #Conflicts:     185000 | #Constraints:      31568
1758.74/1764.91	c #Conflicts:     186000 | #Constraints:      32568
1758.74/1764.91	c #Conflicts:     187000 | #Constraints:      33568
1758.74/1764.91	c #Conflicts:     188000 | #Constraints:      34568
1758.74/1764.91	c #Conflicts:     189000 | #Constraints:      35568
1758.74/1764.91	c #Conflicts:     190000 | #Constraints:      36568
1758.74/1764.91	c #Conflicts:     191000 | #Constraints:      37568
1758.74/1764.91	c #Conflicts:     192000 | #Constraints:      38568
1758.74/1764.91	c #Conflicts:     193000 | #Constraints:      39568
1758.74/1764.91	c #Conflicts:     194000 | #Constraints:      40568
1758.74/1764.91	c #Conflicts:     195000 | #Constraints:      41568
1758.74/1764.91	c #Conflicts:     196000 | #Constraints:      42568
1758.74/1764.91	c #Conflicts:     197000 | #Constraints:      43568
1758.74/1764.91	c #Conflicts:     198000 | #Constraints:      44568
1758.74/1764.91	c #Conflicts:     199000 | #Constraints:      45568
1758.74/1764.91	c #Conflicts:     200000 | #Constraints:      46568
1758.74/1764.91	c #Conflicts:     201000 | #Constraints:      47568
1758.74/1764.91	c #Conflicts:     202000 | #Constraints:      48568
1758.74/1764.92	c #Conflicts:     203000 | #Constraints:      49568
1758.74/1764.92	c #Conflicts:     204000 | #Constraints:      50568
1758.74/1764.92	c #Conflicts:     205000 | #Constraints:      51568
1758.74/1764.92	c #Conflicts:     206000 | #Constraints:      52568
1758.74/1764.92	c #Conflicts:     207000 | #Constraints:      53568
1758.74/1764.92	c #Conflicts:     208000 | #Constraints:      54568
1758.74/1764.92	c #Conflicts:     209000 | #Constraints:      55568
1758.74/1764.92	c #Conflicts:     210000 | #Constraints:      56568
1758.74/1764.92	c #Conflicts:     211000 | #Constraints:      57568
1758.74/1764.92	c #Conflicts:     212000 | #Constraints:      58568
1758.74/1764.92	c #Conflicts:     213000 | #Constraints:      59568
1758.74/1764.92	c #Conflicts:     214000 | #Constraints:      60568
1758.74/1764.92	c #Conflicts:     215000 | #Constraints:      61568
1758.74/1764.92	c #Conflicts:     216000 | #Constraints:      62568
1758.74/1764.92	c #Conflicts:     217000 | #Constraints:      63568
1758.74/1764.92	c #Conflicts:     218000 | #Constraints:      64568
1758.74/1764.92	c #Conflicts:     219000 | #Constraints:      65568
1758.74/1764.92	c #Conflicts:     220000 | #Constraints:      66568
1758.74/1764.92	c INPROCESSING
1758.74/1764.92	c GARBAGE COLLECT
1758.74/1764.92	c #Conflicts:     221000 | #Constraints:      43971
1758.74/1764.92	c #Conflicts:     222000 | #Constraints:      44971
1758.74/1764.92	c #Conflicts:     223000 | #Constraints:      45971
1758.74/1764.92	c #Conflicts:     224000 | #Constraints:      46971
1758.74/1764.92	c #Conflicts:     225000 | #Constraints:      47971
1758.74/1764.92	c #Conflicts:     226000 | #Constraints:      48971
1758.74/1764.92	c #Conflicts:     227000 | #Constraints:      49971
1758.74/1764.92	c #Conflicts:     228000 | #Constraints:      50971
1758.74/1764.92	c #Conflicts:     229000 | #Constraints:      51971
1758.74/1764.92	c #Conflicts:     230000 | #Constraints:      52971
1758.74/1764.92	c #Conflicts:     231000 | #Constraints:      53971
1758.74/1764.92	c INPROCESSING
1758.74/1764.92	c GARBAGE COLLECT
1758.74/1764.92	c #Conflicts:     232000 | #Constraints:      38032
1758.74/1764.92	c #Conflicts:     233000 | #Constraints:      39032
1758.74/1764.92	c #Conflicts:     234000 | #Constraints:      40032
1758.74/1764.92	c #Conflicts:     235000 | #Constraints:      41032
1758.74/1764.92	c #Conflicts:     236000 | #Constraints:      42032
1758.74/1764.92	c #Conflicts:     237000 | #Constraints:      43032
1758.74/1764.92	c #Conflicts:     238000 | #Constraints:      44032
1758.74/1764.92	c #Conflicts:     239000 | #Constraints:      45032
1758.74/1764.92	c #Conflicts:     240000 | #Constraints:      46032
1758.74/1764.92	c #Conflicts:     241000 | #Constraints:      47032
1758.74/1764.92	c INPROCESSING
1758.74/1764.92	c GARBAGE COLLECT
1758.74/1764.92	c #Conflicts:     242000 | #Constraints:      34409
1758.74/1764.92	c #Conflicts:     243000 | #Constraints:      35409
1758.74/1764.92	c #Conflicts:     244000 | #Constraints:      36409
1758.74/1764.92	c #Conflicts:     245000 | #Constraints:      37409
1758.74/1764.92	c #Conflicts:     246000 | #Constraints:      38409
1758.74/1764.92	c #Conflicts:     247000 | #Constraints:      39409
1758.74/1764.92	c #Conflicts:     248000 | #Constraints:      40409
1758.74/1764.92	c #Conflicts:     249000 | #Constraints:      41409
1758.74/1764.92	c #Conflicts:     250000 | #Constraints:      42409
1758.74/1764.92	c #Conflicts:     251000 | #Constraints:      43409
1758.74/1764.92	c #Conflicts:     252000 | #Constraints:      44409
1758.74/1764.92	c INPROCESSING
1758.74/1764.92	c GARBAGE COLLECT
1758.74/1764.92	c #Conflicts:     253000 | #Constraints:      33290
1758.74/1764.92	c #Conflicts:     254000 | #Constraints:      34290
1758.74/1764.92	c #Conflicts:     255000 | #Constraints:      35290
1758.74/1764.92	c #Conflicts:     256000 | #Constraints:      36290
1758.74/1764.92	c #Conflicts:     257000 | #Constraints:      37290
1758.74/1764.92	c #Conflicts:     258000 | #Constraints:      38290
1758.74/1764.92	c #Conflicts:     259000 | #Constraints:      39290
2820.55/2830.31	c #Conflicts:     260000 | #Constraints:      40290
2820.55/2830.31	c #Conflicts:     261000 | #Constraints:      41290
2820.55/2830.31	c #Conflicts:     262000 | #Constraints:      42290
2820.55/2830.31	c INPROCESSING
2820.55/2830.31	c GARBAGE COLLECT
2820.55/2830.31	c #Conflicts:     263000 | #Constraints:      31835
2820.55/2830.31	c #Conflicts:     264000 | #Constraints:      32835
2820.55/2830.31	c #Conflicts:     265000 | #Constraints:      33835
2820.55/2830.31	c #Conflicts:     266000 | #Constraints:      34835
2820.55/2830.31	c #Conflicts:     267000 | #Constraints:      35835
2820.55/2830.31	c #Conflicts:     268000 | #Constraints:      36835
2820.55/2830.31	c #Conflicts:     269000 | #Constraints:      37835
2820.55/2830.31	c #Conflicts:     270000 | #Constraints:      38835
2820.55/2830.31	c #Conflicts:     271000 | #Constraints:      39835
2820.55/2830.31	c #Conflicts:     272000 | #Constraints:      40835
2820.55/2830.31	c #Conflicts:     273000 | #Constraints:      41835
2820.55/2830.31	c #Conflicts:     274000 | #Constraints:      42835
2820.55/2830.31	c #Conflicts:     275000 | #Constraints:      43835
2820.55/2830.31	c #Conflicts:     276000 | #Constraints:      44835
2820.55/2830.31	c #Conflicts:     277000 | #Constraints:      45835
2820.55/2830.31	c #Conflicts:     278000 | #Constraints:      46835
2820.55/2830.31	c #Conflicts:     279000 | #Constraints:      47835
2820.55/2830.31	c #Conflicts:     280000 | #Constraints:      48835
2820.55/2830.31	c #Conflicts:     281000 | #Constraints:      49835
2820.55/2830.31	c #Conflicts:     282000 | #Constraints:      50835
2820.55/2830.31	c #Conflicts:     283000 | #Constraints:      51835
2820.55/2830.31	c #Conflicts:     284000 | #Constraints:      52835
2820.55/2830.31	c #Conflicts:     285000 | #Constraints:      53835
2820.55/2830.31	c #Conflicts:     286000 | #Constraints:      54835
2820.55/2830.31	c #Conflicts:     287000 | #Constraints:      55835
2820.55/2830.31	c #Conflicts:     288000 | #Constraints:      56835
2820.55/2830.31	c #Conflicts:     289000 | #Constraints:      57835
2820.55/2830.31	c #Conflicts:     290000 | #Constraints:      58835
2820.55/2830.31	c #Conflicts:     291000 | #Constraints:      59835
2820.55/2830.31	c #Conflicts:     292000 | #Constraints:      60835
2820.55/2830.31	c #Conflicts:     293000 | #Constraints:      61835
2820.55/2830.31	c #Conflicts:     294000 | #Constraints:      62835
2820.55/2830.31	c #Conflicts:     295000 | #Constraints:      63835
2820.55/2830.31	c #Conflicts:     296000 | #Constraints:      64835
2820.55/2830.31	c #Conflicts:     297000 | #Constraints:      65835
2820.55/2830.31	c #Conflicts:     298000 | #Constraints:      66835
2820.55/2830.31	c #Conflicts:     299000 | #Constraints:      67835
2820.55/2830.31	c #Conflicts:     300000 | #Constraints:      68835
2820.55/2830.31	c #Conflicts:     301000 | #Constraints:      69835
2820.55/2830.31	c #Conflicts:     302000 | #Constraints:      70835
2820.55/2830.31	c #Conflicts:     303000 | #Constraints:      71835
2820.55/2830.31	c #Conflicts:     304000 | #Constraints:      72835
2820.55/2830.31	c #Conflicts:     305000 | #Constraints:      73835
2820.55/2830.31	c #Conflicts:     306000 | #Constraints:      74835
2820.55/2830.31	c #Conflicts:     307000 | #Constraints:      75835
2820.55/2830.31	c INPROCESSING
2820.55/2830.31	c GARBAGE COLLECT
2820.55/2830.31	c #Conflicts:     308000 | #Constraints:      48965
2820.55/2830.31	c #Conflicts:     309000 | #Constraints:      49965
2820.55/2830.31	c #Conflicts:     310000 | #Constraints:      50965
2820.55/2830.31	c #Conflicts:     311000 | #Constraints:      51965
2820.55/2830.31	c #Conflicts:     312000 | #Constraints:      52965
2820.55/2830.31	c #Conflicts:     313000 | #Constraints:      53965
2820.55/2830.31	c #Conflicts:     314000 | #Constraints:      54965
2820.55/2830.31	c #Conflicts:     315000 | #Constraints:      55965
2820.55/2830.31	c #Conflicts:     316000 | #Constraints:      56965
2820.55/2830.31	c #Conflicts:     317000 | #Constraints:      57965
2820.55/2830.31	c #Conflicts:     318000 | #Constraints:      58965
2820.55/2830.31	c #Conflicts:     319000 | #Constraints:      59965
2820.55/2830.31	c INPROCESSING
2820.55/2830.31	c GARBAGE COLLECT
2820.55/2830.31	c #Conflicts:     320000 | #Constraints:      40994
2820.55/2830.31	c #Conflicts:     321000 | #Constraints:      41994
2820.55/2830.31	c #Conflicts:     322000 | #Constraints:      42994
2820.55/2830.31	c #Conflicts:     323000 | #Constraints:      43994
2820.55/2830.31	c #Conflicts:     324000 | #Constraints:      44994
2820.55/2830.31	c #Conflicts:     325000 | #Constraints:      45994
2820.55/2830.31	c #Conflicts:     326000 | #Constraints:      46994
2820.55/2830.31	c #Conflicts:     327000 | #Constraints:      47994
2820.55/2830.31	c bounds 21 >= 20 @ 2768.32
2820.55/2830.31	c #Conflicts:     328000 | #Constraints:      49028
2820.55/2830.31	c #Conflicts:     329000 | #Constraints:      50028
2820.55/2830.31	c #Conflicts:     330000 | #Constraints:      51028
2820.55/2830.31	c #Conflicts:     331000 | #Constraints:      52028
2820.55/2830.31	c INPROCESSING
2820.55/2830.31	c GARBAGE COLLECT
2820.55/2830.31	c #Conflicts:     332000 | #Constraints:      36883
2820.55/2830.31	c #Conflicts:     333000 | #Constraints:      37883
2820.55/2830.31	c #Conflicts:     334000 | #Constraints:      38883
2829.62/2839.42	c #Conflicts:     335000 | #Constraints:      39883
2829.62/2839.42	c #Conflicts:     336000 | #Constraints:      40883
2829.62/2839.42	c finalizing WCE round: reformulating cores
2832.80/2842.64	c bounds 20 >= 20 @ 2826.58
2832.80/2842.64	d SOLVEDBY oll
2832.80/2842.64	c cpu time 2826.58 s
2832.80/2842.64	c deterministic time 323017977725 3.23e+11
2832.80/2842.64	c optimization time 15.4099 s
2832.80/2842.64	c total solve time 2811.08 s
2832.80/2842.64	c core-guided solve time 2811.08 s
2832.80/2842.64	c propagation time 2336.83 s
2832.80/2842.64	c conflict analysis time 471.325 s
2832.80/2842.64	c propagations 265467764
2832.80/2842.64	c resolve steps 28233555
2832.80/2842.64	c decisions 4502811
2832.80/2842.64	c conflicts 336758
2832.80/2842.64	c restarts 785
2832.80/2842.64	c inprocessing phases 39
2832.80/2842.64	c input clauses 19386
2832.80/2842.64	c input cardinalities 88
2832.80/2842.64	c input general constraints 67
2832.80/2842.64	c input average constraint length 3.57
2832.80/2842.64	c input average constraint degree 1.44
2832.80/2842.64	c learned clauses 116877
2832.80/2842.64	c learned cardinalities 970
2832.80/2842.64	c learned general constraints 218914
2832.80/2842.64	c learned average constraint length 783.96
2832.80/2842.64	c learned average constraint degree 24133263.68
2832.80/2842.64	c watched constraints 190224
2832.80/2842.64	c counting constraints 28757
2832.80/2842.64	c gcd simplifications 2293
2832.80/2842.64	c detected cardinalities 0
2832.80/2842.64	c weakened non-implied lits 8988950
2832.80/2842.64	c weakened non-implying lits 51012
2832.80/2842.64	c original variables 5499
2832.80/2842.64	c clausal propagations 207420907
2832.80/2842.64	c cardinality propagations 500362
2832.80/2842.64	c watched propagations 8286124
2832.80/2842.64	c counting propagations 48758069
2832.80/2842.64	c watch lookups 47411702070
2832.80/2842.64	c watch backjump lookups 40266709664
2832.80/2842.64	c watch checks 222373090275
2832.80/2842.64	c propagation checks 11371248689
2832.80/2842.64	c constraint additions 1054949138
2832.80/2842.64	c trail pops 270307313
2832.80/2842.64	c formula constraints 19319
2832.80/2842.64	c learned constraints 336761
2832.80/2842.64	c bound constraints 35
2832.80/2842.64	c core-guided constraints 187
2832.80/2842.64	c encountered formula constraints 22583327
2832.80/2842.64	c encountered learned constraints 5880026
2832.80/2842.64	c encountered bound constraints 124
2832.80/2842.64	c encountered core-guided constraints 106836
2832.80/2842.64	c LP total time 0 s
2832.80/2842.64	c LP solve time 0 s
2832.80/2842.64	c LP constraints added 0
2832.80/2842.64	c LP constraints removed 0
2832.80/2842.64	c LP pivots internal 0
2832.80/2842.64	c LP pivots root 0
2832.80/2842.64	c LP calls 0
2832.80/2842.64	c LP optimalities 0
2832.80/2842.64	c LP no pivot count 0
2832.80/2842.64	c LP infeasibilities 0
2832.80/2842.64	c LP valid Farkas constraints 0
2832.80/2842.64	c LP learned Farkas constraints 0
2832.80/2842.64	c LP basis resets 0
2832.80/2842.64	c LP cycling count 0
2832.80/2842.64	c LP singular count 0
2832.80/2842.64	c LP no primal count 0
2832.80/2842.64	c LP no farkas count 0
2832.80/2842.64	c LP other issue count 0
2832.80/2842.64	c LP Gomory cuts 0
2832.80/2842.64	c LP learned cuts 0
2832.80/2842.64	c LP deleted cuts 0
2832.80/2842.64	c LP encountered Gomory constraints 0
2832.80/2842.64	c LP encountered Farkas constraints 0
2832.80/2842.64	c LP encountered learned Farkas constraints 0
2832.80/2842.64	c CG auxiliary variables introduced 67
2832.80/2842.64	c CG solutions found 6
2832.80/2842.64	c CG cores constructed 14
2832.80/2842.64	c CG core cardinality constraints returned 0
2832.80/2842.64	c CG unit cores 0
2832.80/2842.64	c CG single cores 14
2832.80/2842.64	c CG blocks removed during cardinality reduction 0
2832.80/2842.64	c CG first core best 0
2832.80/2842.64	c CG decision core best 0
2832.80/2842.64	c CG core reduction tie 0
2832.80/2842.64	c CG core degree average 1.00
2832.80/2842.64	c CG core slack average 46.14
2832.80/2842.64	c CG exhausted 1
2832.80/2842.64	c CG exhaust time 15.3765 s
2832.80/2842.64	c CG trimmed 10
2832.80/2842.64	c CG trim time 0.008996 s
2832.80/2842.64	c CG minimized 0
2832.80/2842.64	c CG minimize time 0 s
2832.80/2842.64	c CG am1 prop time 0.007612 s
2832.80/2842.64	c CG # am1s reformulated 0
2832.80/2842.64	c CG lower bound derived from am1s 0
2832.80/2842.64	c CG # clausal cores 14
2832.80/2842.64	c CG # cardinality cores 0
2832.80/2842.64	c CG # pb cores 0
2832.80/2842.64	c CG # pb reforms 0
2832.80/2842.64	c CG # cores discarded because of pb reform 0
2832.80/2842.64	d LOWERBOUND 20
2832.80/2842.64	d NCORES 14
2832.80/2842.64	d NPBCORES 0
2832.80/2842.64	d NPBREFORM 0
2832.80/2842.64	d NTRIMMED 10
2832.80/2842.64	d NEXHAUSTED 1
2832.80/2842.64	d NAM1S 0
2832.80/2842.64	d AM1LB 0
2832.80/2842.64	o 20
2832.80/2842.64	s OPTIMUM FOUND
2832.80/2842.64	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

Verifier Data 

OK	20

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: 64059 MiB (63077 MiB free)
  memory of node 1: 64510 MiB (62681 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435959-1721109821/watcher-4435959-1721109821 -o /tmp/evaluation-result-4435959-1721109821/solver-4435959-1721109821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829784 --watchdog 3760 pb-oll-rs HOME/instance-4435959-1721109821.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=834393, runsolver pid=834390

[startup+0.100353 s]*
/proc/loadavg: 4.08 4.13 4.16 5/243 834394
/proc/meminfo: memFree=128772196/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=40428 memory=8732 CPUtime=0.1 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 692 0 0 0 8 2 0 0 20 0 1 0 163138188 41398272 2183 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 10107 2183 1187 291 0 1641 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40428 KiB
Current children cumulated memory: 8732 KiB

[startup+0.212658 s]*
/proc/loadavg: 4.08 4.13 4.16 5/243 834394
/proc/meminfo: memFree=128767964/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=42944 memory=11516 CPUtime=0.21 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 1212 0 0 0 18 3 0 0 20 0 1 0 163138188 43974656 2879 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 10736 2879 1376 291 0 2270 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42944 KiB
Current children cumulated memory: 11516 KiB

[startup+0.312525 s]*
/proc/loadavg: 4.08 4.13 4.16 5/243 834394
/proc/meminfo: memFree=128764936/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=43472 memory=14092 CPUtime=0.31 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 1368 0 0 0 27 4 0 0 20 0 1 0 163138188 44515328 3523 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 10868 3523 1376 291 0 2402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43472 KiB
Current children cumulated memory: 14092 KiB

[startup+0.700256 s]
/proc/loadavg: 4.08 4.13 4.16 5/243 834394
/proc/meminfo: memFree=128764460/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=49944 memory=19208 CPUtime=0.69 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 2619 0 0 0 64 5 0 0 20 0 1 0 163138188 51142656 4802 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 12486 4802 1376 291 0 4020 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49944 KiB
Current children cumulated memory: 19208 KiB

[startup+1.50027 s]
/proc/loadavg: 4.08 4.13 4.16 6/243 834394
/proc/meminfo: memFree=128754808/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=56160 memory=23584 CPUtime=1.48 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 3763 0 0 0 141 7 0 0 20 0 1 0 163138188 57507840 5896 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 14040 5896 1376 291 0 5574 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56160 KiB
Current children cumulated memory: 23584 KiB

[startup+3.11279 s]
/proc/loadavg: 4.08 4.13 4.16 6/243 834396
/proc/meminfo: memFree=128739216/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=68096 memory=34708 CPUtime=3.09 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 5538 0 0 0 298 11 0 0 20 0 1 0 163138188 69730304 8677 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 17024 8677 1432 291 0 8558 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68096 KiB
Current children cumulated memory: 34708 KiB

[startup+6.30029 s]
/proc/loadavg: 4.08 4.13 4.16 6/243 834396
/proc/meminfo: memFree=128723304/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=70388 memory=39160 CPUtime=6.26 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 6253 0 0 0 610 16 0 0 20 0 1 0 163138188 72077312 9790 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 17597 9790 1432 291 0 9131 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 70388 KiB
Current children cumulated memory: 39160 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.18 4.18 6/243 834396
/proc/meminfo: memFree=128695228/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=87708 memory=47496 CPUtime=12.64 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 8482 0 0 0 1239 25 0 0 20 0 1 0 163138188 89812992 11874 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 21927 11874 1432 291 0 13461 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 87708 KiB
Current children cumulated memory: 47496 KiB

[startup+25.5003 s]
/proc/loadavg: 4.24 4.17 4.17 6/243 834399
/proc/meminfo: memFree=128688136/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=91076 memory=50764 CPUtime=25.4 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 9549 0 0 0 2500 40 0 0 20 0 1 0 163138188 93261824 12691 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 22769 12691 1432 291 0 14303 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 91076 KiB
Current children cumulated memory: 50764 KiB

[startup+51.1126 s]
/proc/loadavg: 4.16 4.15 4.17 5/243 834448
/proc/meminfo: memFree=128600484/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=94412 memory=53536 CPUtime=50.93 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 10741 0 0 0 5032 61 0 0 20 0 1 0 163138188 96677888 13384 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 23603 13384 1432 291 0 15137 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 94412 KiB
Current children cumulated memory: 53536 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/242 834457
/proc/meminfo: memFree=128489916/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=101660 memory=70304 CPUtime=101.95 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 13516 0 0 0 10087 108 0 0 20 0 1 0 163138188 104099840 17576 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 25415 17576 1432 291 0 16949 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 101660 KiB
Current children cumulated memory: 70304 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/242 834469
/proc/meminfo: memFree=128413672/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=107948 memory=75940 CPUtime=161.76 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 15437 0 0 0 16030 146 0 0 20 0 1 0 163138188 110538752 18985 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 26987 18985 1432 291 0 18521 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 107948 KiB
Current children cumulated memory: 75940 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/242 834479
/proc/meminfo: memFree=128368168/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=129880 memory=81500 CPUtime=221.55 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 16560 0 0 0 21975 180 0 0 20 0 1 0 163138188 132997120 20375 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 32470 20375 1432 291 0 24004 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 129880 KiB
Current children cumulated memory: 81500 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/241 834489
/proc/meminfo: memFree=128331920/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=133240 memory=89272 CPUtime=281.33 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 17751 0 0 0 27920 213 0 0 20 0 1 0 163138188 136437760 22318 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 33310 22318 1432 291 0 24844 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 133240 KiB
Current children cumulated memory: 89272 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 4.10 4.14 5/241 834500
/proc/meminfo: memFree=128251512/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=170156 memory=116744 CPUtime=341.1 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 19602 0 0 0 33875 235 0 0 20 0 1 0 163138188 174239744 29186 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 42539 29186 1432 291 0 34073 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 170156 KiB
Current children cumulated memory: 116744 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.15 5/243 834514
/proc/meminfo: memFree=128199076/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=239660 memory=159928 CPUtime=400.9 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 23810 0 0 0 39840 250 0 0 20 0 1 0 163138188 245411840 39982 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 59915 39982 1432 291 0 51449 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 239660 KiB
Current children cumulated memory: 159928 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/243 834524
/proc/meminfo: memFree=128137396/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=256560 memory=198516 CPUtime=460.69 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 27350 0 0 0 45807 262 0 0 20 0 1 0 163138188 262717440 49629 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 64140 49629 1432 291 0 55674 0

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

/proc/loadavg: 4.13 4.12 4.09 5/244 835535
/proc/meminfo: memFree=112994864/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=573976 memory=459852 CPUtime=2433.94 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 52114 0 0 0 242817 577 0 0 20 0 1 0 163138188 587751424 114963 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 143494 114963 1432 291 0 135028 0
Current children cumulated CPU time: 2433.94 s
Current children cumulated vsize: 573976 KiB
Current children cumulated memory: 459852 KiB

[startup+2502.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/241 835546
/proc/meminfo: memFree=111508624/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=578712 memory=487672 CPUtime=2493.73 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 53046 0 0 0 248790 583 0 0 20 0 1 0 163138188 592601088 121918 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 144678 121918 1432 291 0 136212 0
Current children cumulated CPU time: 2493.73 s
Current children cumulated vsize: 578712 KiB
Current children cumulated memory: 487672 KiB

[startup+2562.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/242 835558
/proc/meminfo: memFree=110569716/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=579608 memory=494756 CPUtime=2553.51 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 53697 0 0 0 254762 589 0 0 20 0 1 0 163138188 593518592 123689 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 144902 123689 1432 291 0 136436 0
Current children cumulated CPU time: 2553.51 s
Current children cumulated vsize: 579608 KiB
Current children cumulated memory: 494756 KiB

[startup+2622.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 835568
/proc/meminfo: memFree=110315496/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=579608 memory=494756 CPUtime=2613.29 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 53823 0 0 0 260736 593 0 0 20 0 1 0 163138188 593518592 123689 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 144902 123689 1432 291 0 136436 0
Current children cumulated CPU time: 2613.29 s
Current children cumulated vsize: 579608 KiB
Current children cumulated memory: 494756 KiB

[startup+2682.3 s]
/proc/loadavg: 4.36 4.18 4.11 5/242 835579
/proc/meminfo: memFree=110051040/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=579608 memory=494756 CPUtime=2673.09 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 53868 0 0 0 266711 598 0 0 20 0 1 0 163138188 593518592 123689 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 144902 123689 1432 291 0 136436 0
Current children cumulated CPU time: 2673.09 s
Current children cumulated vsize: 579608 KiB
Current children cumulated memory: 494756 KiB

[startup+2742.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/242 835590
/proc/meminfo: memFree=107404520/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495160 CPUtime=2732.86 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54139 0 0 0 272681 605 0 0 20 0 1 0 163138188 594382848 123790 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123790 1432 291 0 136647 0
Current children cumulated CPU time: 2732.86 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495160 KiB

[startup+2802.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/244 835604
/proc/meminfo: memFree=107134784/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495360 CPUtime=2792.65 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54268 0 0 0 278649 616 0 0 20 0 1 0 163138188 594382848 123840 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123840 1432 291 0 136647 0
Current children cumulated CPU time: 2792.65 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495360 KiB

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

# cumulated CPU time of all completed processes:  user=2826.58 s, system=6.2826 s

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

[startup+2816 s]*
/proc/loadavg: 4.14 4.14 4.10 5/244 835607
/proc/meminfo: memFree=107074556/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495360 CPUtime=2806.31 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54271 0 0 0 280013 618 0 0 20 0 1 0 163138188 594382848 123840 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123840 1432 291 0 136647 0
Current children cumulated CPU time: 2806.31 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495360 KiB

[startup+2828.8 s]
/proc/loadavg: 4.11 4.14 4.10 5/244 835608
/proc/meminfo: memFree=107016936/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495416 CPUtime=2819.05 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54301 0 0 0 281283 622 0 0 20 0 1 0 163138188 594382848 123854 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123854 1432 291 0 136647 0
Current children cumulated CPU time: 2819.05 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495416 KiB

[startup+2835.2 s]
/proc/loadavg: 4.10 4.13 4.09 5/244 835611
/proc/meminfo: memFree=106986012/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495416 CPUtime=2825.43 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54301 0 0 0 281918 625 0 0 20 0 1 0 163138188 594382848 123854 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123854 1432 291 0 136647 0
Current children cumulated CPU time: 2825.43 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495416 KiB

[startup+2838.4 s]
/proc/loadavg: 4.10 4.13 4.09 5/244 835611
/proc/meminfo: memFree=106969592/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495416 CPUtime=2828.62 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54301 0 0 0 282236 626 0 0 20 0 1 0 163138188 594382848 123854 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123854 1432 291 0 136647 0
Current children cumulated CPU time: 2828.62 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495416 KiB

[startup+2840 s]*
/proc/loadavg: 4.09 4.13 4.09 5/244 835611
/proc/meminfo: memFree=106967496/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495416 CPUtime=2830.23 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54301 0 0 0 282396 627 0 0 20 0 1 0 163138188 594382848 123854 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123854 1432 291 0 136647 0
Current children cumulated CPU time: 2830.23 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495416 KiB

[startup+2841.6 s]
/proc/loadavg: 4.09 4.13 4.09 5/244 835611
/proc/meminfo: memFree=106965448/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495416 CPUtime=2831.8 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54301 0 0 0 282553 627 0 0 20 0 1 0 163138188 594382848 123854 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123854 1432 291 0 136647 0
Current children cumulated CPU time: 2831.8 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495416 KiB

[startup+2842.4 s]
/proc/loadavg: 4.09 4.13 4.09 5/244 835611
/proc/meminfo: memFree=106955136/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495416 CPUtime=2832.6 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54301 0 0 0 282633 627 0 0 20 0 1 0 163138188 594382848 123854 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123854 1432 291 0 136647 0
Current children cumulated CPU time: 2832.6 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495416 KiB

[startup+2842.6 s]
/proc/loadavg: 4.09 4.13 4.09 5/244 835611
/proc/meminfo: memFree=106955136/131655788 swapFree=131071996/131071996
[pid=834393] ppid=834390 vsize=580452 memory=495416 CPUtime=2832.8 cores=0,2
/proc/834393/stat : 834393 (pb-oll-rs) R 834390 834393 829774 0 -1 4194304 54301 0 0 0 282653 627 0 0 20 0 1 0 163138188 594382848 123854 134679101440 4194304 5384005 140721499444080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35143680 140721499452439 140721499452516 140721499452516 140721499459531 0
/proc/834393/statm: 145113 123854 1432 291 0 136647 0
Current children cumulated CPU time: 2832.8 s
Current children cumulated vsize: 580452 KiB
Current children cumulated memory: 495416 KiB

Child status: 0

Real time (s): 2842.65
CPU time (s): 2832.86
CPU user time (s): 2826.58
CPU system time (s): 6.2826
CPU usage (%): 99.6557
Max. virtual memory (cumulated for all children) (KiB): 581212
Max. memory (cumulated for all children) (KiB): 495912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2826.58
system time used= 6.2826
maximum resident set size= 495912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137
involuntary context switches= 19844


# summary of solver processes directly reported to runsolver:
#   pid: 834393
#   total CPU time (s): 2832.86
#   total CPU user time (s): 2826.58
#   total CPU system time (s): 6.2826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.61 second user time and 27.4467 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-16 08:03:53
IDJOB=4435959
IDBENCH=148192
IDSOLVER=3067
FILE ID=nodeC003/4435959-1721109821
RUNJOBID= nodeC003-1721102552-829784
SLURM_JOB_ID= 7505615
Free space on /tmp= 723764 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435959-1721109821/watcher-4435959-1721109821 -o /tmp/evaluation-result-4435959-1721109821/solver-4435959-1721109821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829784 --watchdog 3760  pb-oll-rs HOME/instance-4435959-1721109821.opb

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=236237360

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3643.777
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 3585.329
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.221
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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.394
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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		: 3635.136
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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		: 3621.794
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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.447
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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.296
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128776764 kB
MemAvailable:   129685576 kB
Buffers:          407120 kB
Cached:          1335740 kB
SwapCached:            0 kB
Active:           640428 kB
Inactive:        1696628 kB
Active(anon):       1468 kB
Inactive(anon):   630448 kB
Active(file):     638960 kB
Inactive(file):  1066180 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4632 kB
Writeback:             0 kB
AnonPages:        594296 kB
Mapped:           108064 kB
Shmem:             37704 kB
KReclaimable:      87404 kB
Slab:             183296 kB
SReclaimable:      87404 kB
SUnreclaim:        95892 kB
KernelStack:        3900 kB
PageTables:        10864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1021704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52000 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228168 kB
DirectMap2M:    14356480 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723512 MiB
End job on nodeC003 at 2024-07-16 08:51:16