Trace number 4497832

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 2025-05-06SAT (TO)22 3600.07 3609.7

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
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 benchmark21
Best CPU time to get the best result obtained on this benchmark24.4815
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
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.00/0.06	c [STEP] solving
0.00/0.06	c #variables 6076 #constraints 21401
0.00/0.06	c SMALL=int, LARGE=long long
0.00/0.06	c bounds - >= 5 @ 0.040551
0.00/0.06	c stratification level: 0
0.08/0.13	c bounds - >= 6 @ 0.093221
0.08/0.13	c bounds - >= 7 @ 0.094559
0.08/0.13	c bounds - >= 8 @ 0.095349
0.08/0.13	c bounds - >= 9 @ 0.095783
0.08/0.13	c bounds - >= 10 @ 0.096602
0.08/0.13	c bounds - >= 11 @ 0.096634
0.08/0.13	c finalizing WCE round: reformulating cores
5.07/5.13	c #Conflicts:       1000 | #Constraints:      22419
5.07/5.13	c #Conflicts:       2000 | #Constraints:      23421
5.07/5.13	c INPROCESSING
5.07/5.13	c GARBAGE COLLECT
5.07/5.13	c #Conflicts:       3000 | #Constraints:      23428
5.07/5.13	c #Conflicts:       4000 | #Constraints:      24430
5.07/5.13	c INPROCESSING
5.07/5.13	c GARBAGE COLLECT
5.07/5.13	c bounds 28 >= 11 @ 4.19554
5.07/5.13	c bounds 28 >= 12 @ 4.20118
5.07/5.13	c bounds 28 >= 13 @ 4.33934
5.07/5.13	c #Conflicts:       5000 | #Constraints:      23848
5.07/5.13	c bounds 28 >= 14 @ 4.37414
5.07/5.13	c bounds 28 >= 15 @ 4.41031
5.07/5.13	c finalizing WCE round: reformulating cores
14.54/14.68	c #Conflicts:       6000 | #Constraints:      24859
14.54/14.68	c INPROCESSING
14.54/14.68	c GARBAGE COLLECT
14.54/14.68	c #Conflicts:       7000 | #Constraints:      23859
14.54/14.68	c #Conflicts:       8000 | #Constraints:      24861
14.54/14.68	c bounds 27 >= 15 @ 8.68462
14.54/14.68	c #Conflicts:       9000 | #Constraints:      25863
14.54/14.68	c INPROCESSING
14.54/14.68	c GARBAGE COLLECT
14.54/14.68	c bounds 27 >= 16 @ 9.25608
14.54/14.68	c #Conflicts:      10000 | #Constraints:      24615
14.54/14.68	c #Conflicts:      11000 | #Constraints:      25615
14.54/14.68	c #Conflicts:      12000 | #Constraints:      26615
14.54/14.68	c INPROCESSING
14.54/14.68	c GARBAGE COLLECT
14.54/14.68	c #Conflicts:      13000 | #Constraints:      25091
14.54/14.68	c bounds 27 >= 17 @ 14.278
14.54/14.68	c finalizing WCE round: reformulating cores
442.72/443.96	c #Conflicts:      14000 | #Constraints:      26127
442.72/443.96	c bounds 26 >= 17 @ 16.5879
442.72/443.96	c #Conflicts:      15000 | #Constraints:      27127
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      16000 | #Constraints:      25375
442.72/443.96	c #Conflicts:      17000 | #Constraints:      26375
442.72/443.96	c #Conflicts:      18000 | #Constraints:      27375
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      19000 | #Constraints:      25409
442.72/443.96	c #Conflicts:      20000 | #Constraints:      26409
442.72/443.96	c #Conflicts:      21000 | #Constraints:      27409
442.72/443.96	c bounds 26 >= 18 @ 44.748
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      22000 | #Constraints:      25253
442.72/443.96	c #Conflicts:      23000 | #Constraints:      26253
442.72/443.96	c #Conflicts:      24000 | #Constraints:      27253
442.72/443.96	c #Conflicts:      25000 | #Constraints:      28253
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      26000 | #Constraints:      25892
442.72/443.96	c #Conflicts:      27000 | #Constraints:      26892
442.72/443.96	c #Conflicts:      28000 | #Constraints:      27892
442.72/443.96	c #Conflicts:      29000 | #Constraints:      28892
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      30000 | #Constraints:      26337
442.72/443.96	c #Conflicts:      31000 | #Constraints:      27337
442.72/443.96	c #Conflicts:      32000 | #Constraints:      28337
442.72/443.96	c #Conflicts:      33000 | #Constraints:      29337
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      34000 | #Constraints:      26576
442.72/443.96	c #Conflicts:      35000 | #Constraints:      27576
442.72/443.96	c #Conflicts:      36000 | #Constraints:      28576
442.72/443.96	c #Conflicts:      37000 | #Constraints:      29576
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      38000 | #Constraints:      26573
442.72/443.96	c #Conflicts:      39000 | #Constraints:      27573
442.72/443.96	c #Conflicts:      40000 | #Constraints:      28573
442.72/443.96	c #Conflicts:      41000 | #Constraints:      29573
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      42000 | #Constraints:      26413
442.72/443.96	c #Conflicts:      43000 | #Constraints:      27413
442.72/443.96	c #Conflicts:      44000 | #Constraints:      28413
442.72/443.96	c #Conflicts:      45000 | #Constraints:      29413
442.72/443.96	c #Conflicts:      46000 | #Constraints:      30413
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      47000 | #Constraints:      27035
442.72/443.96	c #Conflicts:      48000 | #Constraints:      28035
442.72/443.96	c #Conflicts:      49000 | #Constraints:      29035
442.72/443.96	c #Conflicts:      50000 | #Constraints:      30035
442.72/443.96	c #Conflicts:      51000 | #Constraints:      31035
442.72/443.96	c #Conflicts:      52000 | #Constraints:      32035
442.72/443.96	c #Conflicts:      53000 | #Constraints:      33035
442.72/443.96	c #Conflicts:      54000 | #Constraints:      34035
442.72/443.96	c #Conflicts:      55000 | #Constraints:      35035
442.72/443.96	c #Conflicts:      56000 | #Constraints:      36035
442.72/443.96	c #Conflicts:      57000 | #Constraints:      37035
442.72/443.96	c #Conflicts:      58000 | #Constraints:      38035
442.72/443.96	c #Conflicts:      59000 | #Constraints:      39035
442.72/443.96	c #Conflicts:      60000 | #Constraints:      40035
442.72/443.96	c #Conflicts:      61000 | #Constraints:      41035
442.72/443.96	c #Conflicts:      62000 | #Constraints:      42035
442.72/443.96	c #Conflicts:      63000 | #Constraints:      43035
442.72/443.96	c #Conflicts:      64000 | #Constraints:      44035
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      65000 | #Constraints:      33794
442.72/443.96	c #Conflicts:      66000 | #Constraints:      34794
442.72/443.96	c #Conflicts:      67000 | #Constraints:      35794
442.72/443.96	c #Conflicts:      68000 | #Constraints:      36794
442.72/443.96	c #Conflicts:      69000 | #Constraints:      37794
442.72/443.96	c #Conflicts:      70000 | #Constraints:      38794
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      71000 | #Constraints:      31251
442.72/443.96	c #Conflicts:      72000 | #Constraints:      32251
442.72/443.96	c #Conflicts:      73000 | #Constraints:      33251
442.72/443.96	c #Conflicts:      74000 | #Constraints:      34251
442.72/443.96	c #Conflicts:      75000 | #Constraints:      35251
442.72/443.96	c #Conflicts:      76000 | #Constraints:      36251
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      77000 | #Constraints:      29874
442.72/443.96	c #Conflicts:      78000 | #Constraints:      30874
442.72/443.96	c #Conflicts:      79000 | #Constraints:      31874
442.72/443.96	c #Conflicts:      80000 | #Constraints:      32874
442.72/443.96	c #Conflicts:      81000 | #Constraints:      33874
442.72/443.96	c #Conflicts:      82000 | #Constraints:      34874
442.72/443.96	c INPROCESSING
442.72/443.96	c GARBAGE COLLECT
442.72/443.96	c #Conflicts:      83000 | #Constraints:      29095
704.44/706.40	c #Conflicts:      84000 | #Constraints:      30095
704.44/706.40	c #Conflicts:      85000 | #Constraints:      31095
704.44/706.40	c #Conflicts:      86000 | #Constraints:      32095
704.44/706.40	c #Conflicts:      87000 | #Constraints:      33095
704.44/706.40	c #Conflicts:      88000 | #Constraints:      34095
704.44/706.40	c #Conflicts:      89000 | #Constraints:      35095
704.44/706.40	c INPROCESSING
704.44/706.40	c GARBAGE COLLECT
704.44/706.40	c #Conflicts:      90000 | #Constraints:      29414
704.44/706.40	c #Conflicts:      91000 | #Constraints:      30414
704.44/706.40	c #Conflicts:      92000 | #Constraints:      31414
704.44/706.40	c #Conflicts:      93000 | #Constraints:      32414
704.44/706.40	c #Conflicts:      94000 | #Constraints:      33414
704.44/706.40	c #Conflicts:      95000 | #Constraints:      34414
704.44/706.40	c #Conflicts:      96000 | #Constraints:      35414
704.44/706.40	c INPROCESSING
704.44/706.40	c GARBAGE COLLECT
704.44/706.40	c #Conflicts:      97000 | #Constraints:      29744
704.44/706.40	c #Conflicts:      98000 | #Constraints:      30744
704.44/706.40	c #Conflicts:      99000 | #Constraints:      31744
704.44/706.40	c #Conflicts:     100000 | #Constraints:      32744
704.44/706.40	c #Conflicts:     101000 | #Constraints:      33744
704.44/706.40	c #Conflicts:     102000 | #Constraints:      34744
704.44/706.40	c #Conflicts:     103000 | #Constraints:      35744
704.44/706.40	c #Conflicts:     104000 | #Constraints:      36744
704.44/706.40	c #Conflicts:     105000 | #Constraints:      37744
704.44/706.40	c #Conflicts:     106000 | #Constraints:      38744
704.44/706.40	c #Conflicts:     107000 | #Constraints:      39744
704.44/706.40	c #Conflicts:     108000 | #Constraints:      40744
704.44/706.40	c #Conflicts:     109000 | #Constraints:      41744
704.44/706.40	c #Conflicts:     110000 | #Constraints:      42744
704.44/706.40	c #Conflicts:     111000 | #Constraints:      43744
704.44/706.40	c #Conflicts:     112000 | #Constraints:      44744
704.44/706.40	c bounds 26 >= 19 @ 685.407
704.44/706.40	c #Conflicts:     113000 | #Constraints:      45781
704.44/706.40	c finalizing WCE round: reformulating cores
1919.23/1924.49	c #Conflicts:     114000 | #Constraints:      46784
1919.23/1924.49	c #Conflicts:     115000 | #Constraints:      47786
1919.23/1924.49	c bounds 23 >= 19 @ 722.143
1919.23/1924.49	c #Conflicts:     116000 | #Constraints:      48786
1919.23/1924.49	c #Conflicts:     117000 | #Constraints:      49786
1919.23/1924.49	c #Conflicts:     118000 | #Constraints:      50786
1919.23/1924.49	c #Conflicts:     119000 | #Constraints:      51786
1919.23/1924.49	c #Conflicts:     120000 | #Constraints:      52786
1919.23/1924.49	c #Conflicts:     121000 | #Constraints:      53786
1919.23/1924.49	c INPROCESSING
1919.23/1924.49	c GARBAGE COLLECT
1919.23/1924.49	c #Conflicts:     122000 | #Constraints:      38644
1919.23/1924.49	c #Conflicts:     123000 | #Constraints:      39644
1919.23/1924.49	c #Conflicts:     124000 | #Constraints:      40644
1919.23/1924.49	c #Conflicts:     125000 | #Constraints:      41644
1919.23/1924.49	c #Conflicts:     126000 | #Constraints:      42644
1919.23/1924.49	c #Conflicts:     127000 | #Constraints:      43644
1919.23/1924.49	c #Conflicts:     128000 | #Constraints:      44644
1919.23/1924.49	c #Conflicts:     129000 | #Constraints:      45644
1919.23/1924.49	c INPROCESSING
1919.23/1924.49	c GARBAGE COLLECT
1919.23/1924.49	c #Conflicts:     130000 | #Constraints:      34565
1919.23/1924.49	c #Conflicts:     131000 | #Constraints:      35565
1919.23/1924.49	c #Conflicts:     132000 | #Constraints:      36565
1919.23/1924.49	c #Conflicts:     133000 | #Constraints:      37565
1919.23/1924.49	c #Conflicts:     134000 | #Constraints:      38565
1919.23/1924.49	c #Conflicts:     135000 | #Constraints:      39565
1919.23/1924.49	c #Conflicts:     136000 | #Constraints:      40565
1919.23/1924.49	c #Conflicts:     137000 | #Constraints:      41565
1919.23/1924.49	c #Conflicts:     138000 | #Constraints:      42565
1919.23/1924.49	c INPROCESSING
1919.23/1924.49	c GARBAGE COLLECT
1919.23/1924.49	c #Conflicts:     139000 | #Constraints:      33320
1919.23/1924.49	c #Conflicts:     140000 | #Constraints:      34320
1919.23/1924.49	c #Conflicts:     141000 | #Constraints:      35320
1919.23/1924.49	c #Conflicts:     142000 | #Constraints:      36320
1919.23/1924.49	c #Conflicts:     143000 | #Constraints:      37320
1919.23/1924.49	c #Conflicts:     144000 | #Constraints:      38320
1919.23/1924.49	c #Conflicts:     145000 | #Constraints:      39320
1919.23/1924.49	c #Conflicts:     146000 | #Constraints:      40320
1919.23/1924.49	c INPROCESSING
1919.23/1924.49	c GARBAGE COLLECT
1919.23/1924.49	c #Conflicts:     147000 | #Constraints:      31972
1919.23/1924.49	c #Conflicts:     148000 | #Constraints:      32972
1919.23/1924.49	c #Conflicts:     149000 | #Constraints:      33972
1919.23/1924.49	c #Conflicts:     150000 | #Constraints:      34972
1919.23/1924.49	c #Conflicts:     151000 | #Constraints:      35972
1919.23/1924.49	c #Conflicts:     152000 | #Constraints:      36972
1919.23/1924.49	c #Conflicts:     153000 | #Constraints:      37972
1919.23/1924.49	c #Conflicts:     154000 | #Constraints:      38972
1919.23/1924.49	c #Conflicts:     155000 | #Constraints:      39972
1919.23/1924.49	c #Conflicts:     156000 | #Constraints:      40972
1919.23/1924.49	c #Conflicts:     157000 | #Constraints:      41972
1919.23/1924.49	c #Conflicts:     158000 | #Constraints:      42972
1919.23/1924.49	c #Conflicts:     159000 | #Constraints:      43972
1919.23/1924.49	c #Conflicts:     160000 | #Constraints:      44972
1919.23/1924.49	c #Conflicts:     161000 | #Constraints:      45972
1919.23/1924.49	c #Conflicts:     162000 | #Constraints:      46972
1919.23/1924.49	c #Conflicts:     163000 | #Constraints:      47972
1919.23/1924.49	c #Conflicts:     164000 | #Constraints:      48972
1919.23/1924.49	c #Conflicts:     165000 | #Constraints:      49972
1919.23/1924.49	c #Conflicts:     166000 | #Constraints:      50972
1919.23/1924.49	c #Conflicts:     167000 | #Constraints:      51972
1919.23/1924.49	c #Conflicts:     168000 | #Constraints:      52972
1919.23/1924.49	c #Conflicts:     169000 | #Constraints:      53972
1919.23/1924.49	c #Conflicts:     170000 | #Constraints:      54972
1919.23/1924.49	c #Conflicts:     171000 | #Constraints:      55972
1919.23/1924.49	c #Conflicts:     172000 | #Constraints:      56972
1919.23/1924.49	c #Conflicts:     173000 | #Constraints:      57972
1919.23/1924.49	c #Conflicts:     174000 | #Constraints:      58972
1919.23/1924.49	c #Conflicts:     175000 | #Constraints:      59972
1919.23/1924.49	c #Conflicts:     176000 | #Constraints:      60972
1919.23/1924.49	c #Conflicts:     177000 | #Constraints:      61972
1919.23/1924.49	c INPROCESSING
1919.23/1924.49	c GARBAGE COLLECT
1919.23/1924.49	c #Conflicts:     178000 | #Constraints:      42950
1919.23/1924.49	c #Conflicts:     179000 | #Constraints:      43950
1919.23/1924.49	c #Conflicts:     180000 | #Constraints:      44950
1919.23/1924.49	c #Conflicts:     181000 | #Constraints:      45950
1919.23/1924.49	c #Conflicts:     182000 | #Constraints:      46950
1919.23/1924.49	c #Conflicts:     183000 | #Constraints:      47950
1919.23/1924.49	c #Conflicts:     184000 | #Constraints:      48950
1919.23/1924.49	c #Conflicts:     185000 | #Constraints:      49950
1919.23/1924.49	c #Conflicts:     186000 | #Constraints:      50950
1919.23/1924.49	c #Conflicts:     187000 | #Constraints:      51950
1919.23/1924.49	c INPROCESSING
1919.23/1924.49	c GARBAGE COLLECT
1919.23/1924.49	c #Conflicts:     188000 | #Constraints:      38045
1933.90/1939.14	c #Conflicts:     189000 | #Constraints:      39045
1933.90/1939.14	c #Conflicts:     190000 | #Constraints:      40045
1933.90/1939.14	c bounds 23 >= 20 @ 1926.86
1933.90/1939.14	c #Conflicts:     191000 | #Constraints:      41076
1933.90/1939.14	c finalizing WCE round: reformulating cores
3145.43/3153.92	c bounds 22 >= 20 @ 1934.79
3145.43/3153.92	c #Conflicts:     192000 | #Constraints:      42079
3145.43/3153.92	c #Conflicts:     193000 | #Constraints:      43079
3145.43/3153.92	c #Conflicts:     194000 | #Constraints:      44079
3145.43/3153.92	c #Conflicts:     195000 | #Constraints:      45079
3145.43/3153.92	c #Conflicts:     196000 | #Constraints:      46079
3145.43/3153.92	c #Conflicts:     197000 | #Constraints:      47079
3145.43/3153.92	c INPROCESSING
3145.43/3153.92	c GARBAGE COLLECT
3145.43/3153.92	c #Conflicts:     198000 | #Constraints:      35640
3145.43/3153.92	c #Conflicts:     199000 | #Constraints:      36640
3145.43/3153.92	c #Conflicts:     200000 | #Constraints:      37640
3145.43/3153.92	c #Conflicts:     201000 | #Constraints:      38640
3145.43/3153.92	c #Conflicts:     202000 | #Constraints:      39640
3145.43/3153.92	c #Conflicts:     203000 | #Constraints:      40640
3145.43/3153.92	c #Conflicts:     204000 | #Constraints:      41640
3145.43/3153.92	c #Conflicts:     205000 | #Constraints:      42640
3145.43/3153.92	c #Conflicts:     206000 | #Constraints:      43640
3145.43/3153.92	c #Conflicts:     207000 | #Constraints:      44640
3145.43/3153.92	c INPROCESSING
3145.43/3153.92	c GARBAGE COLLECT
3145.43/3153.92	c #Conflicts:     208000 | #Constraints:      34414
3145.43/3153.92	c #Conflicts:     209000 | #Constraints:      35414
3145.43/3153.92	c #Conflicts:     210000 | #Constraints:      36414
3145.43/3153.92	c #Conflicts:     211000 | #Constraints:      37414
3145.43/3153.92	c #Conflicts:     212000 | #Constraints:      38414
3145.43/3153.92	c #Conflicts:     213000 | #Constraints:      39414
3145.43/3153.92	c #Conflicts:     214000 | #Constraints:      40414
3145.43/3153.92	c #Conflicts:     215000 | #Constraints:      41414
3145.43/3153.92	c #Conflicts:     216000 | #Constraints:      42414
3145.43/3153.92	c #Conflicts:     217000 | #Constraints:      43414
3145.43/3153.92	c #Conflicts:     218000 | #Constraints:      44414
3145.43/3153.92	c #Conflicts:     219000 | #Constraints:      45414
3145.43/3153.92	c #Conflicts:     220000 | #Constraints:      46414
3145.43/3153.92	c #Conflicts:     221000 | #Constraints:      47414
3145.43/3153.92	c #Conflicts:     222000 | #Constraints:      48414
3145.43/3153.92	c #Conflicts:     223000 | #Constraints:      49414
3145.43/3153.92	c #Conflicts:     224000 | #Constraints:      50414
3145.43/3153.92	c #Conflicts:     225000 | #Constraints:      51414
3145.43/3153.92	c #Conflicts:     226000 | #Constraints:      52414
3145.43/3153.92	c #Conflicts:     227000 | #Constraints:      53414
3145.43/3153.92	c #Conflicts:     228000 | #Constraints:      54414
3145.43/3153.92	c #Conflicts:     229000 | #Constraints:      55414
3145.43/3153.92	c #Conflicts:     230000 | #Constraints:      56414
3145.43/3153.92	c #Conflicts:     231000 | #Constraints:      57414
3145.43/3153.92	c #Conflicts:     232000 | #Constraints:      58414
3145.43/3153.92	c #Conflicts:     233000 | #Constraints:      59414
3145.43/3153.92	c #Conflicts:     234000 | #Constraints:      60414
3145.43/3153.92	c #Conflicts:     235000 | #Constraints:      61414
3145.43/3153.92	c #Conflicts:     236000 | #Constraints:      62414
3145.43/3153.92	c #Conflicts:     237000 | #Constraints:      63414
3145.43/3153.92	c #Conflicts:     238000 | #Constraints:      64414
3145.43/3153.92	c #Conflicts:     239000 | #Constraints:      65414
3145.43/3153.92	c #Conflicts:     240000 | #Constraints:      66414
3145.43/3153.92	c #Conflicts:     241000 | #Constraints:      67414
3145.43/3153.92	c #Conflicts:     242000 | #Constraints:      68414
3145.43/3153.92	c #Conflicts:     243000 | #Constraints:      69414
3145.43/3153.92	c INPROCESSING
3145.43/3153.92	c GARBAGE COLLECT
3145.43/3153.92	c #Conflicts:     244000 | #Constraints:      46592
3145.43/3153.92	c #Conflicts:     245000 | #Constraints:      47592
3145.43/3153.92	c #Conflicts:     246000 | #Constraints:      48592
3145.43/3153.92	c #Conflicts:     247000 | #Constraints:      49592
3145.43/3153.92	c #Conflicts:     248000 | #Constraints:      50592
3145.43/3153.92	c #Conflicts:     249000 | #Constraints:      51592
3145.43/3153.92	c #Conflicts:     250000 | #Constraints:      52592
3145.43/3153.92	c #Conflicts:     251000 | #Constraints:      53592
3145.43/3153.92	c #Conflicts:     252000 | #Constraints:      54592
3145.43/3153.92	c #Conflicts:     253000 | #Constraints:      55592
3145.43/3153.92	c #Conflicts:     254000 | #Constraints:      56592
3145.43/3153.92	c #Conflicts:     255000 | #Constraints:      57592
3145.43/3153.92	c INPROCESSING
3145.43/3153.92	c GARBAGE COLLECT
3145.43/3153.92	c #Conflicts:     256000 | #Constraints:      40922
3145.43/3153.92	c #Conflicts:     257000 | #Constraints:      41922
3145.43/3153.92	c #Conflicts:     258000 | #Constraints:      42922
3145.43/3153.92	c #Conflicts:     259000 | #Constraints:      43922
3145.43/3153.92	c #Conflicts:     260000 | #Constraints:      44922
3145.43/3153.92	c #Conflicts:     261000 | #Constraints:      45922
3145.43/3153.92	c #Conflicts:     262000 | #Constraints:      46922
3145.43/3153.92	c #Conflicts:     263000 | #Constraints:      47922
3145.43/3153.92	c #Conflicts:     264000 | #Constraints:      48922
3145.43/3153.92	c #Conflicts:     265000 | #Constraints:      49922
3145.43/3153.92	c #Conflicts:     266000 | #Constraints:      50922
3145.43/3153.92	c INPROCESSING
3145.43/3153.92	c GARBAGE COLLECT
3145.43/3153.92	c #Conflicts:     267000 | #Constraints:      37390
3600.06/3609.70	c #Conflicts:     268000 | #Constraints:      38390
3600.06/3609.70	c #Conflicts:     269000 | #Constraints:      39390
3600.06/3609.70	c #Conflicts:     270000 | #Constraints:      40390
3600.06/3609.70	c #Conflicts:     271000 | #Constraints:      41390
3600.06/3609.70	c #Conflicts:     272000 | #Constraints:      42390
3600.06/3609.70	c #Conflicts:     273000 | #Constraints:      43390
3600.06/3609.70	c #Conflicts:     274000 | #Constraints:      44390
3600.06/3609.70	c #Conflicts:     275000 | #Constraints:      45390
3600.06/3609.70	c #Conflicts:     276000 | #Constraints:      46390
3600.06/3609.70	c #Conflicts:     277000 | #Constraints:      47390
3600.06/3609.70	c #Conflicts:     278000 | #Constraints:      48390
3600.06/3609.70	c INPROCESSING
3600.06/3609.70	c GARBAGE COLLECT
3600.06/3609.70	c #Conflicts:     279000 | #Constraints:      36202
3600.06/3609.70	c #Conflicts:     280000 | #Constraints:      37202
3600.06/3609.70	c #Conflicts:     281000 | #Constraints:      38202
3600.06/3609.70	c #Conflicts:     282000 | #Constraints:      39202
3600.06/3609.70	c #Conflicts:     283000 | #Constraints:      40202
3600.06/3609.70	c #Conflicts:     284000 | #Constraints:      41202
3600.06/3609.70	c #Conflicts:     285000 | #Constraints:      42202
3600.06/3609.70	c #Conflicts:     286000 | #Constraints:      43202
3600.06/3609.70	c #Conflicts:     287000 | #Constraints:      44202
3600.06/3609.70	c #Conflicts:     288000 | #Constraints:      45202
3600.06/3609.70	c #Conflicts:     289000 | #Constraints:      46202
3600.06/3609.70	c #Conflicts:     290000 | #Constraints:      47202
3600.06/3609.70	c #Conflicts:     291000 | #Constraints:      48202
3600.06/3609.70	c #Conflicts:     292000 | #Constraints:      49202
3600.06/3609.70	c #Conflicts:     293000 | #Constraints:      50202
3600.06/3609.70	c #Conflicts:     294000 | #Constraints:      51202
3600.06/3609.70	c #Conflicts:     295000 | #Constraints:      52202
3600.06/3609.70	c #Conflicts:     296000 | #Constraints:      53202
3600.06/3609.70	c #Conflicts:     297000 | #Constraints:      54202
3600.06/3609.70	c #Conflicts:     298000 | #Constraints:      55202
3600.06/3609.70	c #Conflicts:     299000 | #Constraints:      56202
3600.06/3609.70	c #Conflicts:     300000 | #Constraints:      57202
3600.06/3609.70	c #Conflicts:     301000 | #Constraints:      58202
3600.06/3609.70	c #Conflicts:     302000 | #Constraints:      59202
3600.06/3609.70	c #Conflicts:     303000 | #Constraints:      60202
3600.06/3609.70	c Program interrupted by user.
3600.06/3609.70	c cpu time 3593.52 s
3600.06/3609.70	c deterministic time 428635035036 4.29e+11
3600.06/3609.70	c optimization time 381.2 s
3600.06/3609.70	c total solve time 3212.28 s
3600.06/3609.70	c core-guided solve time 3212.28 s
3600.06/3609.70	c propagation time 2825.25 s
3600.06/3609.70	c conflict analysis time 748.115 s
3600.06/3609.70	c propagations 280824828
3600.06/3609.70	c resolve steps 36074183
3600.06/3609.70	c decisions 4771314
3600.06/3609.70	c conflicts 303096
3600.06/3609.70	c restarts 735
3600.06/3609.70	c inprocessing phases 32
3600.06/3609.70	c input clauses 21450
3600.06/3609.70	c input cardinalities 86
3600.06/3609.70	c input general constraints 63
3600.06/3609.70	c input average constraint length 3.50
3600.06/3609.70	c input average constraint degree 1.37
3600.06/3609.70	c learned clauses 109177
3600.06/3609.70	c learned cardinalities 625
3600.06/3609.70	c learned general constraints 193298
3600.06/3609.70	c learned average constraint length 920.72
3600.06/3609.70	c learned average constraint degree 9476555.28
3600.06/3609.70	c watched constraints 162647
3600.06/3609.70	c counting constraints 30714
3600.06/3609.70	c gcd simplifications 1404
3600.06/3609.70	c detected cardinalities 1
3600.06/3609.70	c weakened non-implied lits 8674062
3600.06/3609.70	c weakened non-implying lits 46190
3600.06/3609.70	c original variables 6076
3600.06/3609.70	c clausal propagations 220526051
3600.06/3609.70	c cardinality propagations 451880
3600.06/3609.70	c watched propagations 8110694
3600.06/3609.70	c counting propagations 51322978
3600.06/3609.70	c watch lookups 49944254318
3600.06/3609.70	c watch backjump lookups 42655789185
3600.06/3609.70	c watch checks 317647690212
3600.06/3609.70	c propagation checks 16568650144
3600.06/3609.70	c constraint additions 1247158315
3600.06/3609.70	c trail pops 285896719
3600.06/3609.70	c formula constraints 21401
3600.06/3609.70	c learned constraints 303100
3600.06/3609.70	c bound constraints 21
3600.06/3609.70	c core-guided constraints 177
3600.06/3609.70	c encountered formula constraints 27982582
3600.06/3609.70	c encountered learned constraints 8261553
3600.06/3609.70	c encountered bound constraints 44
3600.06/3609.70	c encountered core-guided constraints 133100
3600.06/3609.70	c LP total time 0 s
3600.06/3609.70	c LP solve time 0 s
3600.06/3609.70	c LP constraints added 0
3600.06/3609.70	c LP constraints removed 0
3600.06/3609.70	c LP pivots internal 0
3600.06/3609.70	c LP pivots root 0
3600.06/3609.70	c LP calls 0
3600.06/3609.70	c LP optimalities 0
3600.06/3609.70	c LP no pivot count 0
3600.06/3609.70	c LP infeasibilities 0
3600.06/3609.70	c LP valid Farkas constraints 0
3600.06/3609.70	c LP learned Farkas constraints 0
3600.06/3609.70	c LP basis resets 0
3600.06/3609.70	c LP cycling count 0
3600.06/3609.70	c LP singular count 0
3600.06/3609.70	c LP no primal count 0
3600.06/3609.70	c LP no farkas count 0
3600.06/3609.70	c LP other issue count 0
3600.06/3609.70	c LP Gomory cuts 0
3600.06/3609.70	c LP learned cuts 0
3600.06/3609.70	c LP deleted cuts 0
3600.06/3609.70	c LP encountered Gomory constraints 0
3600.06/3609.70	c LP encountered Farkas constraints 0
3600.06/3609.70	c LP encountered learned Farkas constraints 0
3600.06/3609.70	c CG auxiliary variables introduced 64
3600.06/3609.70	c CG solutions found 5
3600.06/3609.70	c CG cores constructed 15
3600.06/3609.70	c CG core cardinality constraints returned 0
3600.06/3609.70	c CG unit cores 0
3600.06/3609.70	c CG single cores 15
3600.06/3609.70	c CG blocks removed during cardinality reduction 0
3600.06/3609.70	c CG first core best 0
3600.06/3609.70	c CG decision core best 0
3600.06/3609.70	c CG core reduction tie 0
3600.06/3609.70	c CG core degree average 1.00
3600.06/3609.70	c CG core slack average 46.33
3600.06/3609.70	c CG exhausted 0
3600.06/3609.70	c CG exhaust time 35.4741 s
3600.06/3609.70	c CG trimmed 1
3600.06/3609.70	c CG trim time 0.013326 s
3600.06/3609.70	c CG minimized 0
3600.06/3609.70	c CG minimize time 0 s
3600.06/3609.70	c CG am1 prop time 0.022398 s
3600.06/3609.70	c CG # am1s reformulated 0
3600.06/3609.70	c CG lower bound derived from am1s 0
3600.06/3609.70	c CG # clausal cores 15
3600.06/3609.70	c CG # cardinality cores 0
3600.06/3609.70	c CG # pb cores 0
3600.06/3609.70	c CG # pb reforms 0
3600.06/3609.70	c CG # cores discarded because of pb reform 0
3600.06/3609.70	d LOWERBOUND 20
3600.06/3609.70	d NCORES 15
3600.06/3609.70	d NPBCORES 0
3600.06/3609.70	d NPBREFORM 0
3600.06/3609.70	d NTRIMMED 1
3600.06/3609.70	d NEXHAUSTED 0
3600.06/3609.70	d NAM1S 0
3600.06/3609.70	d AM1LB 0
3600.06/3609.70	o 22
3600.06/3609.70	s SATISFIABLE
3600.06/3609.70	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 x3013 x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 x3824 x3825 x3826 x3827 -x3828 -x3829 -x3830 -x3831 x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 x3867 -x3868 x3869 -x3870 -x3871 -x3872 -x3873 x3874 -x3875 -x3876 x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 x4570 -x4571 x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 x4675 -x4676 -x4677 -x4678 -x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 x5177 -x5178 x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 -x5225 x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 x5859 -x5860 -x5861 x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 x5869 -x5870 x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 x6030 x6031 x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 x6055 -x6056 x6057 x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076

Verifier Data 

OK	22

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497832-1751405788/watcher-4497832-1751405788 -o /tmp/evaluation-result-4497832-1751405788/solver-4497832-1751405788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58041 --watchdog 3760 pb-oll-rs HOME/instance-4497832-1751405788.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=58725, runsolver pid=58722

[startup+0.100068 s]*
/proc/loadavg: 4.10 4.09 4.09 5/262 58726
/proc/meminfo: memFree=128412908/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=22408 memory=10276 CPUtime=0.08 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 977 0 0 0 7 1 0 0 20 0 1 0 56256672 22945792 2569 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 5602 2569 1312 243 0 1851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22408 KiB
Current children cumulated memory: 10276 KiB

[startup+0.205607 s]*
/proc/loadavg: 4.10 4.09 4.09 5/262 58726
/proc/meminfo: memFree=128413020/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=24236 memory=11428 CPUtime=0.19 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 1342 0 0 0 17 2 0 0 20 0 1 0 56256672 24817664 2857 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 6059 2857 1312 243 0 2308 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24236 KiB
Current children cumulated memory: 11428 KiB

[startup+0.305532 s]*
/proc/loadavg: 4.10 4.09 4.09 5/262 58726
/proc/meminfo: memFree=128413020/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=24896 memory=14148 CPUtime=0.29 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 1513 0 0 0 27 2 0 0 20 0 1 0 56256672 25493504 3537 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 6224 3537 1312 243 0 2473 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24896 KiB
Current children cumulated memory: 14148 KiB

[startup+0.700182 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 58726
/proc/meminfo: memFree=128413020/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=30020 memory=18576 CPUtime=0.67 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 2100 0 0 0 64 3 0 0 20 0 1 0 56256672 30740480 4644 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 7505 4644 1312 243 0 3754 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 30020 KiB
Current children cumulated memory: 18576 KiB

[startup+1.50017 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 58726
/proc/meminfo: memFree=128408924/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=37128 memory=24652 CPUtime=1.48 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 3193 0 0 0 142 6 0 0 20 0 1 0 56256672 38019072 6163 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 9282 6163 1312 243 0 5531 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37128 KiB
Current children cumulated memory: 24652 KiB

[startup+3.10564 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 58726
/proc/meminfo: memFree=128404860/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=45108 memory=29764 CPUtime=3.08 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 3975 0 0 0 300 8 0 0 20 0 1 0 56256672 46190592 7441 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 11277 7441 1312 243 0 7526 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45108 KiB
Current children cumulated memory: 29764 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 58726
/proc/meminfo: memFree=128394724/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=63564 memory=40956 CPUtime=6.26 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 5863 0 0 0 613 13 0 0 20 0 1 0 56256672 65089536 10239 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 15891 10239 1312 243 0 12140 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 63564 KiB
Current children cumulated memory: 40956 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 58726
/proc/meminfo: memFree=128390700/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=66652 memory=44156 CPUtime=12.65 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 6686 0 0 0 1242 23 0 0 20 0 1 0 56256672 68251648 11039 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 16663 11039 1312 243 0 12912 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 66652 KiB
Current children cumulated memory: 44156 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 58726
/proc/meminfo: memFree=128379084/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=73684 memory=60720 CPUtime=25.42 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 9020 0 0 0 2508 34 0 0 20 0 1 0 56256672 75452416 15180 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 18421 15180 1312 243 0 14670 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 73684 KiB
Current children cumulated memory: 60720 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 58726
/proc/meminfo: memFree=128360956/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=87352 memory=73936 CPUtime=50.96 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 12564 0 0 0 5050 46 0 0 20 0 1 0 56256672 89448448 18484 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 21838 18484 1312 243 0 18087 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 87352 KiB
Current children cumulated memory: 73936 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 58728
/proc/meminfo: memFree=128348296/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=89064 memory=75668 CPUtime=102.03 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 13509 0 0 0 10118 85 0 0 20 0 1 0 56256672 91201536 18917 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 22266 18917 1312 243 0 18515 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 89064 KiB
Current children cumulated memory: 75668 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 58730
/proc/meminfo: memFree=128317604/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=114420 memory=95124 CPUtime=161.89 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 15570 0 0 0 16070 119 0 0 20 0 1 0 56256672 117166080 23781 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 28605 23781 1312 243 0 24854 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 114420 KiB
Current children cumulated memory: 95124 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 58735
/proc/meminfo: memFree=128267108/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=163960 memory=137984 CPUtime=221.74 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 20161 0 0 0 22039 135 0 0 20 0 1 0 56256672 167895040 34496 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 40990 34496 1312 243 0 37239 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 163960 KiB
Current children cumulated memory: 137984 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 58741
/proc/meminfo: memFree=128192916/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=229456 memory=170324 CPUtime=281.58 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 23678 0 0 0 28010 148 0 0 20 0 1 0 56256672 234962944 42581 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 57364 42581 1312 243 0 53613 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 229456 KiB
Current children cumulated memory: 170324 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 58743
/proc/meminfo: memFree=128213940/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=230232 memory=173204 CPUtime=341.41 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 24010 0 0 0 33980 161 0 0 20 0 1 0 56256672 235757568 43301 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 57558 43301 1312 243 0 53807 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 230232 KiB
Current children cumulated memory: 173204 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 58745
/proc/meminfo: memFree=128202428/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=230368 memory=173348 CPUtime=401.24 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 24168 0 0 0 39948 176 0 0 20 0 1 0 56256672 235896832 43337 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 57592 43337 1312 243 0 53841 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 230368 KiB
Current children cumulated memory: 173348 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 58747
/proc/meminfo: memFree=128202288/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=230376 memory=173356 CPUtime=461.06 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 24421 0 0 0 45911 195 0 0 20 0 1 0 56256672 235905024 43339 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 57594 43339 1312 243 0 53843 0

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

Current children cumulated memory: 448360 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 59364
/proc/meminfo: memFree=128391572/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=592392 memory=448360 CPUtime=2914.46 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 55983 0 0 0 290878 568 0 0 20 0 1 0 56256672 606609408 112090 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148098 112090 1312 243 0 144347 0
Current children cumulated CPU time: 2914.46 s
Current children cumulated vsize: 592392 KiB
Current children cumulated memory: 448360 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 59369
/proc/meminfo: memFree=128360728/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=592392 memory=448360 CPUtime=2974.29 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 55983 0 0 0 296855 574 0 0 20 0 1 0 56256672 606609408 112090 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148098 112090 1312 243 0 144347 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 592392 KiB
Current children cumulated memory: 448360 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 59371
/proc/meminfo: memFree=128257848/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=454632 CPUtime=3034.13 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56137 0 0 0 302830 583 0 0 20 0 1 0 56256672 607305728 113658 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 113658 1312 243 0 144517 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 454632 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 59373
/proc/meminfo: memFree=128161580/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3093.97 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56157 0 0 0 308807 590 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 59375
/proc/meminfo: memFree=128121312/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3153.82 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56185 0 0 0 314783 599 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 59377
/proc/meminfo: memFree=128108744/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3213.67 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56185 0 0 0 320759 608 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 59380
/proc/meminfo: memFree=128099956/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3273.53 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56185 0 0 0 326734 619 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 59388
/proc/meminfo: memFree=128099244/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3333.37 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56185 0 0 0 332709 628 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 59390
/proc/meminfo: memFree=128026292/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3393.23 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56185 0 0 0 338687 636 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 59392
/proc/meminfo: memFree=127993076/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3453.05 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56185 0 0 0 344663 642 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 59394
/proc/meminfo: memFree=127974348/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3512.89 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56185 0 0 0 350642 647 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 59398
/proc/meminfo: memFree=127977452/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3572.73 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56298 0 0 0 356621 652 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 59398
/proc/meminfo: memFree=127979448/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3600.06 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56379 0 0 0 359352 654 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.53 s, system=6.54209 s

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

[startup+3609.7 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 59398
/proc/meminfo: memFree=127979448/131249996 swapFree=33005272/33010684
[pid=58725] ppid=58722 vsize=593072 memory=475112 CPUtime=3600.06 cores=4,6
/proc/58725/stat : 58725 (pb-oll-rs) R 58722 58725 58030 0 -1 4194304 56379 0 0 0 359352 654 0 0 20 0 1 0 56256672 607305728 118778 18446744073709551615 4218880 5211445 140726493444960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 37203968 140726493452700 140726493452777 140726493452777 140726493458379 0
/proc/58725/statm: 148268 118778 1312 243 0 144517 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 593072 KiB
Current children cumulated memory: 475112 KiB

Child status: 0

Real time (s): 3609.7
CPU time (s): 3600.07
CPU user time (s): 3593.53
CPU system time (s): 6.54209
CPU usage (%): 99.7331
Max. virtual memory (cumulated for all children) (KiB): 593072
Max. memory (cumulated for all children) (KiB): 475112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.53
system time used= 6.54209
maximum resident set size= 475496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56395
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= 210
involuntary context switches= 2365


# summary of solver processes directly reported to runsolver:
#   pid: 58725
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3593.53
#   total CPU system time (s): 6.54209

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10538 second user time and 15.8802 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 23:36:28
IDJOB=4497832
IDBENCH=148194
IDSOLVER=3345
FILE ID=nodeC023/4497832-1751405788
RUNJOBID= nodeC023-1751399181-58041
SLURM_JOB_ID= 9598285
Free space on /tmp= 433044 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497832-1751405788/watcher-4497832-1751405788 -o /tmp/evaluation-result-4497832-1751405788/solver-4497832-1751405788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58041 --watchdog 3760  pb-oll-rs HOME/instance-4497832-1751405788.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=976787962

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128417144 kB
MemAvailable:   128161876 kB
Buffers:            1328 kB
Cached:           542948 kB
SwapCached:          404 kB
Active:          1858236 kB
Inactive:         374824 kB
Active(anon):    1647584 kB
Inactive(anon):    54636 kB
Active(file):     210652 kB
Inactive(file):   320188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2284 kB
Writeback:             0 kB
AnonPages:       1691616 kB
Mapped:           102528 kB
Shmem:             13404 kB
KReclaimable:     106260 kB
Slab:             194428 kB
SReclaimable:     106260 kB
SUnreclaim:        88168 kB
KernelStack:        4256 kB
PageTables:         6400 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2291952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432424 MiB
End job on nodeC023 at 2025-07-02 00:36:38