Trace number 4435957

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02SAT (TO)22 3600.12 3613.03

DiagnosticValue
AM1LB0
LOWERBOUND20
NAM1S0
NCORES15
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED1

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 benchmark90.3129
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.042274
0.00/0.06	c stratification level: 0
0.00/0.11	c bounds - >= 6 @ 0.086198
0.00/0.11	c bounds - >= 7 @ 0.086781
0.00/0.11	c bounds - >= 8 @ 0.087457
0.00/0.11	c bounds - >= 9 @ 0.088632
0.00/0.11	c bounds - >= 10 @ 0.089463
0.00/0.11	c bounds - >= 11 @ 0.089906
0.00/0.11	c finalizing WCE round: reformulating cores
4.47/4.59	c #Conflicts:       1000 | #Constraints:      22419
4.47/4.59	c #Conflicts:       2000 | #Constraints:      23421
4.47/4.59	c INPROCESSING
4.47/4.59	c GARBAGE COLLECT
4.47/4.59	c #Conflicts:       3000 | #Constraints:      23428
4.47/4.59	c #Conflicts:       4000 | #Constraints:      24430
4.47/4.59	c INPROCESSING
4.47/4.59	c GARBAGE COLLECT
4.47/4.59	c bounds 28 >= 11 @ 3.74116
4.47/4.59	c bounds 28 >= 12 @ 3.74671
4.47/4.59	c bounds 28 >= 13 @ 3.85304
4.47/4.59	c #Conflicts:       5000 | #Constraints:      23848
4.47/4.59	c bounds 28 >= 14 @ 3.88548
4.47/4.59	c bounds 28 >= 15 @ 3.9207
4.47/4.59	c finalizing WCE round: reformulating cores
13.34/13.46	c #Conflicts:       6000 | #Constraints:      24859
13.34/13.46	c INPROCESSING
13.34/13.46	c GARBAGE COLLECT
13.34/13.46	c #Conflicts:       7000 | #Constraints:      23859
13.34/13.46	c #Conflicts:       8000 | #Constraints:      24861
13.34/13.46	c bounds 27 >= 15 @ 7.74167
13.34/13.46	c #Conflicts:       9000 | #Constraints:      25863
13.34/13.46	c INPROCESSING
13.34/13.46	c GARBAGE COLLECT
13.34/13.46	c bounds 27 >= 16 @ 8.29975
13.34/13.46	c #Conflicts:      10000 | #Constraints:      24615
13.34/13.46	c #Conflicts:      11000 | #Constraints:      25615
13.34/13.46	c #Conflicts:      12000 | #Constraints:      26615
13.34/13.46	c INPROCESSING
13.34/13.46	c GARBAGE COLLECT
13.34/13.46	c #Conflicts:      13000 | #Constraints:      25091
13.34/13.46	c bounds 27 >= 17 @ 13.0773
13.34/13.46	c finalizing WCE round: reformulating cores
422.59/424.17	c #Conflicts:      14000 | #Constraints:      26127
422.59/424.17	c bounds 26 >= 17 @ 15.1735
422.59/424.17	c #Conflicts:      15000 | #Constraints:      27127
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      16000 | #Constraints:      25375
422.59/424.17	c #Conflicts:      17000 | #Constraints:      26375
422.59/424.17	c #Conflicts:      18000 | #Constraints:      27375
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      19000 | #Constraints:      25409
422.59/424.17	c #Conflicts:      20000 | #Constraints:      26409
422.59/424.17	c #Conflicts:      21000 | #Constraints:      27409
422.59/424.17	c bounds 26 >= 18 @ 41.7451
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      22000 | #Constraints:      25253
422.59/424.17	c #Conflicts:      23000 | #Constraints:      26253
422.59/424.17	c #Conflicts:      24000 | #Constraints:      27253
422.59/424.17	c #Conflicts:      25000 | #Constraints:      28253
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      26000 | #Constraints:      25892
422.59/424.17	c #Conflicts:      27000 | #Constraints:      26892
422.59/424.17	c #Conflicts:      28000 | #Constraints:      27892
422.59/424.17	c #Conflicts:      29000 | #Constraints:      28892
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      30000 | #Constraints:      26337
422.59/424.17	c #Conflicts:      31000 | #Constraints:      27337
422.59/424.17	c #Conflicts:      32000 | #Constraints:      28337
422.59/424.17	c #Conflicts:      33000 | #Constraints:      29337
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      34000 | #Constraints:      26576
422.59/424.17	c #Conflicts:      35000 | #Constraints:      27576
422.59/424.17	c #Conflicts:      36000 | #Constraints:      28576
422.59/424.17	c #Conflicts:      37000 | #Constraints:      29576
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      38000 | #Constraints:      26573
422.59/424.17	c #Conflicts:      39000 | #Constraints:      27573
422.59/424.17	c #Conflicts:      40000 | #Constraints:      28573
422.59/424.17	c #Conflicts:      41000 | #Constraints:      29573
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      42000 | #Constraints:      26413
422.59/424.17	c #Conflicts:      43000 | #Constraints:      27413
422.59/424.17	c #Conflicts:      44000 | #Constraints:      28413
422.59/424.17	c #Conflicts:      45000 | #Constraints:      29413
422.59/424.17	c #Conflicts:      46000 | #Constraints:      30413
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      47000 | #Constraints:      27035
422.59/424.17	c #Conflicts:      48000 | #Constraints:      28035
422.59/424.17	c #Conflicts:      49000 | #Constraints:      29035
422.59/424.17	c #Conflicts:      50000 | #Constraints:      30035
422.59/424.17	c #Conflicts:      51000 | #Constraints:      31035
422.59/424.17	c #Conflicts:      52000 | #Constraints:      32035
422.59/424.17	c #Conflicts:      53000 | #Constraints:      33035
422.59/424.17	c #Conflicts:      54000 | #Constraints:      34035
422.59/424.17	c #Conflicts:      55000 | #Constraints:      35035
422.59/424.17	c #Conflicts:      56000 | #Constraints:      36035
422.59/424.17	c #Conflicts:      57000 | #Constraints:      37035
422.59/424.17	c #Conflicts:      58000 | #Constraints:      38035
422.59/424.17	c #Conflicts:      59000 | #Constraints:      39035
422.59/424.17	c #Conflicts:      60000 | #Constraints:      40035
422.59/424.17	c #Conflicts:      61000 | #Constraints:      41035
422.59/424.17	c #Conflicts:      62000 | #Constraints:      42035
422.59/424.17	c #Conflicts:      63000 | #Constraints:      43035
422.59/424.17	c #Conflicts:      64000 | #Constraints:      44035
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      65000 | #Constraints:      33794
422.59/424.17	c #Conflicts:      66000 | #Constraints:      34794
422.59/424.17	c #Conflicts:      67000 | #Constraints:      35794
422.59/424.17	c #Conflicts:      68000 | #Constraints:      36794
422.59/424.17	c #Conflicts:      69000 | #Constraints:      37794
422.59/424.17	c #Conflicts:      70000 | #Constraints:      38794
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      71000 | #Constraints:      31251
422.59/424.17	c #Conflicts:      72000 | #Constraints:      32251
422.59/424.17	c #Conflicts:      73000 | #Constraints:      33251
422.59/424.17	c #Conflicts:      74000 | #Constraints:      34251
422.59/424.17	c #Conflicts:      75000 | #Constraints:      35251
422.59/424.17	c #Conflicts:      76000 | #Constraints:      36251
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      77000 | #Constraints:      29874
422.59/424.17	c #Conflicts:      78000 | #Constraints:      30874
422.59/424.17	c #Conflicts:      79000 | #Constraints:      31874
422.59/424.17	c #Conflicts:      80000 | #Constraints:      32874
422.59/424.17	c #Conflicts:      81000 | #Constraints:      33874
422.59/424.17	c #Conflicts:      82000 | #Constraints:      34874
422.59/424.17	c INPROCESSING
422.59/424.17	c GARBAGE COLLECT
422.59/424.17	c #Conflicts:      83000 | #Constraints:      29095
669.01/671.51	c #Conflicts:      84000 | #Constraints:      30095
669.01/671.51	c #Conflicts:      85000 | #Constraints:      31095
669.01/671.51	c #Conflicts:      86000 | #Constraints:      32095
669.01/671.51	c #Conflicts:      87000 | #Constraints:      33095
669.01/671.51	c #Conflicts:      88000 | #Constraints:      34095
669.01/671.51	c #Conflicts:      89000 | #Constraints:      35095
669.01/671.51	c INPROCESSING
669.01/671.51	c GARBAGE COLLECT
669.01/671.51	c #Conflicts:      90000 | #Constraints:      29414
669.01/671.51	c #Conflicts:      91000 | #Constraints:      30414
669.01/671.51	c #Conflicts:      92000 | #Constraints:      31414
669.01/671.51	c #Conflicts:      93000 | #Constraints:      32414
669.01/671.51	c #Conflicts:      94000 | #Constraints:      33414
669.01/671.51	c #Conflicts:      95000 | #Constraints:      34414
669.01/671.51	c #Conflicts:      96000 | #Constraints:      35414
669.01/671.51	c INPROCESSING
669.01/671.51	c GARBAGE COLLECT
669.01/671.51	c #Conflicts:      97000 | #Constraints:      29744
669.01/671.51	c #Conflicts:      98000 | #Constraints:      30744
669.01/671.51	c #Conflicts:      99000 | #Constraints:      31744
669.01/671.51	c #Conflicts:     100000 | #Constraints:      32744
669.01/671.51	c #Conflicts:     101000 | #Constraints:      33744
669.01/671.51	c #Conflicts:     102000 | #Constraints:      34744
669.01/671.51	c #Conflicts:     103000 | #Constraints:      35744
669.01/671.51	c #Conflicts:     104000 | #Constraints:      36744
669.01/671.51	c #Conflicts:     105000 | #Constraints:      37744
669.01/671.51	c #Conflicts:     106000 | #Constraints:      38744
669.01/671.51	c #Conflicts:     107000 | #Constraints:      39744
669.01/671.51	c #Conflicts:     108000 | #Constraints:      40744
669.01/671.51	c #Conflicts:     109000 | #Constraints:      41744
669.01/671.51	c #Conflicts:     110000 | #Constraints:      42744
669.01/671.51	c #Conflicts:     111000 | #Constraints:      43744
669.01/671.51	c #Conflicts:     112000 | #Constraints:      44744
669.01/671.51	c bounds 26 >= 19 @ 650.502
669.01/671.51	c #Conflicts:     113000 | #Constraints:      45781
669.01/671.51	c finalizing WCE round: reformulating cores
1932.31/1939.53	c #Conflicts:     114000 | #Constraints:      46784
1932.31/1939.53	c #Conflicts:     115000 | #Constraints:      47786
1932.31/1939.53	c bounds 23 >= 19 @ 686.247
1932.31/1939.53	c #Conflicts:     116000 | #Constraints:      48786
1932.31/1939.53	c #Conflicts:     117000 | #Constraints:      49786
1932.31/1939.53	c #Conflicts:     118000 | #Constraints:      50786
1932.31/1939.53	c #Conflicts:     119000 | #Constraints:      51786
1932.31/1939.53	c #Conflicts:     120000 | #Constraints:      52786
1932.31/1939.53	c #Conflicts:     121000 | #Constraints:      53786
1932.31/1939.53	c INPROCESSING
1932.31/1939.53	c GARBAGE COLLECT
1932.31/1939.53	c #Conflicts:     122000 | #Constraints:      38644
1932.31/1939.53	c #Conflicts:     123000 | #Constraints:      39644
1932.31/1939.53	c #Conflicts:     124000 | #Constraints:      40644
1932.31/1939.53	c #Conflicts:     125000 | #Constraints:      41644
1932.31/1939.53	c #Conflicts:     126000 | #Constraints:      42644
1932.31/1939.53	c #Conflicts:     127000 | #Constraints:      43644
1932.31/1939.53	c #Conflicts:     128000 | #Constraints:      44644
1932.31/1939.53	c #Conflicts:     129000 | #Constraints:      45644
1932.31/1939.53	c INPROCESSING
1932.31/1939.53	c GARBAGE COLLECT
1932.31/1939.53	c #Conflicts:     130000 | #Constraints:      34565
1932.31/1939.53	c #Conflicts:     131000 | #Constraints:      35565
1932.31/1939.53	c #Conflicts:     132000 | #Constraints:      36565
1932.31/1939.53	c #Conflicts:     133000 | #Constraints:      37565
1932.31/1939.53	c #Conflicts:     134000 | #Constraints:      38565
1932.31/1939.53	c #Conflicts:     135000 | #Constraints:      39565
1932.31/1939.53	c #Conflicts:     136000 | #Constraints:      40565
1932.31/1939.53	c #Conflicts:     137000 | #Constraints:      41565
1932.31/1939.53	c #Conflicts:     138000 | #Constraints:      42565
1932.31/1939.53	c INPROCESSING
1932.31/1939.53	c GARBAGE COLLECT
1932.31/1939.53	c #Conflicts:     139000 | #Constraints:      33320
1932.31/1939.53	c #Conflicts:     140000 | #Constraints:      34320
1932.31/1939.53	c #Conflicts:     141000 | #Constraints:      35320
1932.31/1939.53	c #Conflicts:     142000 | #Constraints:      36320
1932.31/1939.53	c #Conflicts:     143000 | #Constraints:      37320
1932.31/1939.53	c #Conflicts:     144000 | #Constraints:      38320
1932.31/1939.53	c #Conflicts:     145000 | #Constraints:      39320
1932.31/1939.53	c #Conflicts:     146000 | #Constraints:      40320
1932.31/1939.53	c INPROCESSING
1932.31/1939.53	c GARBAGE COLLECT
1932.31/1939.53	c #Conflicts:     147000 | #Constraints:      31972
1932.31/1939.53	c #Conflicts:     148000 | #Constraints:      32972
1932.31/1939.53	c #Conflicts:     149000 | #Constraints:      33972
1932.31/1939.53	c #Conflicts:     150000 | #Constraints:      34972
1932.31/1939.53	c #Conflicts:     151000 | #Constraints:      35972
1932.31/1939.53	c #Conflicts:     152000 | #Constraints:      36972
1932.31/1939.53	c #Conflicts:     153000 | #Constraints:      37972
1932.31/1939.53	c #Conflicts:     154000 | #Constraints:      38972
1932.31/1939.53	c #Conflicts:     155000 | #Constraints:      39972
1932.31/1939.53	c #Conflicts:     156000 | #Constraints:      40972
1932.31/1939.53	c #Conflicts:     157000 | #Constraints:      41972
1932.31/1939.53	c #Conflicts:     158000 | #Constraints:      42972
1932.31/1939.53	c #Conflicts:     159000 | #Constraints:      43972
1932.31/1939.53	c #Conflicts:     160000 | #Constraints:      44972
1932.31/1939.53	c #Conflicts:     161000 | #Constraints:      45972
1932.31/1939.53	c #Conflicts:     162000 | #Constraints:      46972
1932.31/1939.53	c #Conflicts:     163000 | #Constraints:      47972
1932.31/1939.53	c #Conflicts:     164000 | #Constraints:      48972
1932.31/1939.53	c #Conflicts:     165000 | #Constraints:      49972
1932.31/1939.53	c #Conflicts:     166000 | #Constraints:      50972
1932.31/1939.53	c #Conflicts:     167000 | #Constraints:      51972
1932.31/1939.53	c #Conflicts:     168000 | #Constraints:      52972
1932.31/1939.53	c #Conflicts:     169000 | #Constraints:      53972
1932.31/1939.53	c #Conflicts:     170000 | #Constraints:      54972
1932.31/1939.53	c #Conflicts:     171000 | #Constraints:      55972
1932.31/1939.53	c #Conflicts:     172000 | #Constraints:      56972
1932.31/1939.53	c #Conflicts:     173000 | #Constraints:      57972
1932.31/1939.53	c #Conflicts:     174000 | #Constraints:      58972
1932.31/1939.53	c #Conflicts:     175000 | #Constraints:      59972
1932.31/1939.53	c #Conflicts:     176000 | #Constraints:      60972
1932.31/1939.53	c #Conflicts:     177000 | #Constraints:      61972
1932.31/1939.53	c INPROCESSING
1932.31/1939.53	c GARBAGE COLLECT
1932.31/1939.53	c #Conflicts:     178000 | #Constraints:      42950
1932.31/1939.53	c #Conflicts:     179000 | #Constraints:      43950
1932.31/1939.53	c #Conflicts:     180000 | #Constraints:      44950
1932.31/1939.53	c #Conflicts:     181000 | #Constraints:      45950
1932.31/1939.53	c #Conflicts:     182000 | #Constraints:      46950
1932.31/1939.53	c #Conflicts:     183000 | #Constraints:      47950
1932.31/1939.53	c #Conflicts:     184000 | #Constraints:      48950
1932.31/1939.53	c #Conflicts:     185000 | #Constraints:      49950
1932.31/1939.53	c #Conflicts:     186000 | #Constraints:      50950
1932.31/1939.53	c #Conflicts:     187000 | #Constraints:      51950
1932.31/1939.53	c INPROCESSING
1932.31/1939.53	c GARBAGE COLLECT
1932.31/1939.53	c #Conflicts:     188000 | #Constraints:      38045
1944.87/1952.11	c #Conflicts:     189000 | #Constraints:      39045
1944.87/1952.11	c #Conflicts:     190000 | #Constraints:      40045
1944.87/1952.11	c bounds 23 >= 20 @ 1937.65
1944.87/1952.11	c #Conflicts:     191000 | #Constraints:      41076
1944.87/1952.11	c finalizing WCE round: reformulating cores
3092.49/3103.84	c bounds 22 >= 20 @ 1944.98
3092.49/3103.84	c #Conflicts:     192000 | #Constraints:      42079
3092.49/3103.84	c #Conflicts:     193000 | #Constraints:      43079
3092.49/3103.84	c #Conflicts:     194000 | #Constraints:      44079
3092.49/3103.84	c #Conflicts:     195000 | #Constraints:      45079
3092.49/3103.84	c #Conflicts:     196000 | #Constraints:      46079
3092.49/3103.84	c #Conflicts:     197000 | #Constraints:      47079
3092.49/3103.84	c INPROCESSING
3092.49/3103.84	c GARBAGE COLLECT
3092.49/3103.84	c #Conflicts:     198000 | #Constraints:      35640
3092.49/3103.84	c #Conflicts:     199000 | #Constraints:      36640
3092.49/3103.84	c #Conflicts:     200000 | #Constraints:      37640
3092.49/3103.84	c #Conflicts:     201000 | #Constraints:      38640
3092.49/3103.84	c #Conflicts:     202000 | #Constraints:      39640
3092.49/3103.84	c #Conflicts:     203000 | #Constraints:      40640
3092.49/3103.84	c #Conflicts:     204000 | #Constraints:      41640
3092.49/3103.84	c #Conflicts:     205000 | #Constraints:      42640
3092.49/3103.84	c #Conflicts:     206000 | #Constraints:      43640
3092.49/3103.84	c #Conflicts:     207000 | #Constraints:      44640
3092.49/3103.84	c INPROCESSING
3092.49/3103.84	c GARBAGE COLLECT
3092.49/3103.84	c #Conflicts:     208000 | #Constraints:      34414
3092.49/3103.84	c #Conflicts:     209000 | #Constraints:      35414
3092.49/3103.84	c #Conflicts:     210000 | #Constraints:      36414
3092.49/3103.84	c #Conflicts:     211000 | #Constraints:      37414
3092.49/3103.84	c #Conflicts:     212000 | #Constraints:      38414
3092.49/3103.84	c #Conflicts:     213000 | #Constraints:      39414
3092.49/3103.84	c #Conflicts:     214000 | #Constraints:      40414
3092.49/3103.84	c #Conflicts:     215000 | #Constraints:      41414
3092.49/3103.84	c #Conflicts:     216000 | #Constraints:      42414
3092.49/3103.84	c #Conflicts:     217000 | #Constraints:      43414
3092.49/3103.84	c #Conflicts:     218000 | #Constraints:      44414
3092.49/3103.84	c #Conflicts:     219000 | #Constraints:      45414
3092.49/3103.84	c #Conflicts:     220000 | #Constraints:      46414
3092.49/3103.84	c #Conflicts:     221000 | #Constraints:      47414
3092.49/3103.84	c #Conflicts:     222000 | #Constraints:      48414
3092.49/3103.84	c #Conflicts:     223000 | #Constraints:      49414
3092.49/3103.84	c #Conflicts:     224000 | #Constraints:      50414
3092.49/3103.84	c #Conflicts:     225000 | #Constraints:      51414
3092.49/3103.84	c #Conflicts:     226000 | #Constraints:      52414
3092.49/3103.84	c #Conflicts:     227000 | #Constraints:      53414
3092.49/3103.84	c #Conflicts:     228000 | #Constraints:      54414
3092.49/3103.84	c #Conflicts:     229000 | #Constraints:      55414
3092.49/3103.84	c #Conflicts:     230000 | #Constraints:      56414
3092.49/3103.84	c #Conflicts:     231000 | #Constraints:      57414
3092.49/3103.84	c #Conflicts:     232000 | #Constraints:      58414
3092.49/3103.84	c #Conflicts:     233000 | #Constraints:      59414
3092.49/3103.84	c #Conflicts:     234000 | #Constraints:      60414
3092.49/3103.84	c #Conflicts:     235000 | #Constraints:      61414
3092.49/3103.84	c #Conflicts:     236000 | #Constraints:      62414
3092.49/3103.84	c #Conflicts:     237000 | #Constraints:      63414
3092.49/3103.84	c #Conflicts:     238000 | #Constraints:      64414
3092.49/3103.84	c #Conflicts:     239000 | #Constraints:      65414
3092.49/3103.84	c #Conflicts:     240000 | #Constraints:      66414
3092.49/3103.84	c #Conflicts:     241000 | #Constraints:      67414
3092.49/3103.84	c #Conflicts:     242000 | #Constraints:      68414
3092.49/3103.84	c #Conflicts:     243000 | #Constraints:      69414
3092.49/3103.84	c INPROCESSING
3092.49/3103.84	c GARBAGE COLLECT
3092.49/3103.84	c #Conflicts:     244000 | #Constraints:      46592
3092.49/3103.84	c #Conflicts:     245000 | #Constraints:      47592
3092.49/3103.84	c #Conflicts:     246000 | #Constraints:      48592
3092.49/3103.84	c #Conflicts:     247000 | #Constraints:      49592
3092.49/3103.84	c #Conflicts:     248000 | #Constraints:      50592
3092.49/3103.84	c #Conflicts:     249000 | #Constraints:      51592
3092.49/3103.84	c #Conflicts:     250000 | #Constraints:      52592
3092.49/3103.84	c #Conflicts:     251000 | #Constraints:      53592
3092.49/3103.84	c #Conflicts:     252000 | #Constraints:      54592
3092.49/3103.84	c #Conflicts:     253000 | #Constraints:      55592
3092.49/3103.84	c #Conflicts:     254000 | #Constraints:      56592
3092.49/3103.84	c #Conflicts:     255000 | #Constraints:      57592
3092.49/3103.84	c INPROCESSING
3092.49/3103.84	c GARBAGE COLLECT
3092.49/3103.84	c #Conflicts:     256000 | #Constraints:      40922
3092.49/3103.84	c #Conflicts:     257000 | #Constraints:      41922
3092.49/3103.84	c #Conflicts:     258000 | #Constraints:      42922
3092.49/3103.84	c #Conflicts:     259000 | #Constraints:      43922
3092.49/3103.84	c #Conflicts:     260000 | #Constraints:      44922
3092.49/3103.84	c #Conflicts:     261000 | #Constraints:      45922
3092.49/3103.84	c #Conflicts:     262000 | #Constraints:      46922
3092.49/3103.84	c #Conflicts:     263000 | #Constraints:      47922
3092.49/3103.84	c #Conflicts:     264000 | #Constraints:      48922
3092.49/3103.84	c #Conflicts:     265000 | #Constraints:      49922
3092.49/3103.84	c #Conflicts:     266000 | #Constraints:      50922
3092.49/3103.84	c INPROCESSING
3092.49/3103.84	c GARBAGE COLLECT
3092.49/3103.84	c #Conflicts:     267000 | #Constraints:      37390
3600.10/3613.02	c #Conflicts:     268000 | #Constraints:      38390
3600.10/3613.02	c #Conflicts:     269000 | #Constraints:      39390
3600.10/3613.02	c #Conflicts:     270000 | #Constraints:      40390
3600.10/3613.02	c #Conflicts:     271000 | #Constraints:      41390
3600.10/3613.02	c #Conflicts:     272000 | #Constraints:      42390
3600.10/3613.02	c #Conflicts:     273000 | #Constraints:      43390
3600.10/3613.02	c #Conflicts:     274000 | #Constraints:      44390
3600.10/3613.02	c #Conflicts:     275000 | #Constraints:      45390
3600.10/3613.02	c #Conflicts:     276000 | #Constraints:      46390
3600.10/3613.02	c #Conflicts:     277000 | #Constraints:      47390
3600.10/3613.02	c #Conflicts:     278000 | #Constraints:      48390
3600.10/3613.02	c INPROCESSING
3600.10/3613.02	c GARBAGE COLLECT
3600.10/3613.02	c #Conflicts:     279000 | #Constraints:      36202
3600.10/3613.02	c #Conflicts:     280000 | #Constraints:      37202
3600.10/3613.02	c #Conflicts:     281000 | #Constraints:      38202
3600.10/3613.02	c #Conflicts:     282000 | #Constraints:      39202
3600.10/3613.02	c #Conflicts:     283000 | #Constraints:      40202
3600.10/3613.02	c #Conflicts:     284000 | #Constraints:      41202
3600.10/3613.02	c #Conflicts:     285000 | #Constraints:      42202
3600.10/3613.02	c #Conflicts:     286000 | #Constraints:      43202
3600.10/3613.02	c #Conflicts:     287000 | #Constraints:      44202
3600.10/3613.02	c #Conflicts:     288000 | #Constraints:      45202
3600.10/3613.02	c #Conflicts:     289000 | #Constraints:      46202
3600.10/3613.02	c #Conflicts:     290000 | #Constraints:      47202
3600.10/3613.02	c #Conflicts:     291000 | #Constraints:      48202
3600.10/3613.02	c #Conflicts:     292000 | #Constraints:      49202
3600.10/3613.02	c #Conflicts:     293000 | #Constraints:      50202
3600.10/3613.02	c #Conflicts:     294000 | #Constraints:      51202
3600.10/3613.02	c #Conflicts:     295000 | #Constraints:      52202
3600.10/3613.02	c #Conflicts:     296000 | #Constraints:      53202
3600.10/3613.02	c #Conflicts:     297000 | #Constraints:      54202
3600.10/3613.02	c #Conflicts:     298000 | #Constraints:      55202
3600.10/3613.02	c #Conflicts:     299000 | #Constraints:      56202
3600.10/3613.02	c #Conflicts:     300000 | #Constraints:      57202
3600.10/3613.02	c #Conflicts:     301000 | #Constraints:      58202
3600.10/3613.02	c #Conflicts:     302000 | #Constraints:      59202
3600.10/3613.02	c #Conflicts:     303000 | #Constraints:      60202
3600.10/3613.02	c #Conflicts:     304000 | #Constraints:      61202
3600.10/3613.02	c Program interrupted by user.
3600.10/3613.02	c cpu time 3593.39 s
3600.10/3613.02	c deterministic time 433024994331 4.33e+11
3600.10/3613.02	c optimization time 430.335 s
3600.10/3613.02	c total solve time 3163.02 s
3600.10/3613.02	c core-guided solve time 3163.02 s
3600.10/3613.02	c propagation time 2930.01 s
3600.10/3613.02	c conflict analysis time 643.245 s
3600.10/3613.02	c propagations 282064031
3600.10/3613.02	c resolve steps 36257101
3600.10/3613.02	c decisions 4793711
3600.10/3613.02	c conflicts 304470
3600.10/3613.02	c restarts 744
3600.10/3613.02	c inprocessing phases 32
3600.10/3613.02	c input clauses 21450
3600.10/3613.02	c input cardinalities 86
3600.10/3613.02	c input general constraints 63
3600.10/3613.02	c input average constraint length 3.50
3600.10/3613.02	c input average constraint degree 1.37
3600.10/3613.02	c learned clauses 109757
3600.10/3613.02	c learned cardinalities 625
3600.10/3613.02	c learned general constraints 194092
3600.10/3613.02	c learned average constraint length 921.76
3600.10/3613.02	c learned average constraint degree 9495103.11
3600.10/3613.02	c watched constraints 163336
3600.10/3613.02	c counting constraints 30819
3600.10/3613.02	c gcd simplifications 1410
3600.10/3613.02	c detected cardinalities 1
3600.10/3613.02	c weakened non-implied lits 8712721
3600.10/3613.02	c weakened non-implying lits 46244
3600.10/3613.02	c original variables 6076
3600.10/3613.02	c clausal propagations 221413301
3600.10/3613.02	c cardinality propagations 452232
3600.10/3613.02	c watched propagations 8165375
3600.10/3613.02	c counting propagations 51619130
3600.10/3613.02	c watch lookups 50463874376
3600.10/3613.02	c watch backjump lookups 43089225558
3600.10/3613.02	c watch checks 320939404229
3600.10/3613.02	c propagation checks 16703576859
3600.10/3613.02	c constraint additions 1254896686
3600.10/3613.02	c trail pops 287158880
3600.10/3613.02	c formula constraints 21401
3600.10/3613.02	c learned constraints 304474
3600.10/3613.02	c bound constraints 21
3600.10/3613.02	c core-guided constraints 177
3600.10/3613.02	c encountered formula constraints 28108087
3600.10/3613.02	c encountered learned constraints 8319664
3600.10/3613.02	c encountered bound constraints 44
3600.10/3613.02	c encountered core-guided constraints 133776
3600.10/3613.02	c LP total time 0 s
3600.10/3613.02	c LP solve time 0 s
3600.10/3613.02	c LP constraints added 0
3600.10/3613.02	c LP constraints removed 0
3600.10/3613.02	c LP pivots internal 0
3600.10/3613.02	c LP pivots root 0
3600.10/3613.02	c LP calls 0
3600.10/3613.02	c LP optimalities 0
3600.10/3613.02	c LP no pivot count 0
3600.10/3613.02	c LP infeasibilities 0
3600.10/3613.02	c LP valid Farkas constraints 0
3600.10/3613.02	c LP learned Farkas constraints 0
3600.10/3613.02	c LP basis resets 0
3600.10/3613.02	c LP cycling count 0
3600.10/3613.02	c LP singular count 0
3600.10/3613.02	c LP no primal count 0
3600.10/3613.02	c LP no farkas count 0
3600.10/3613.02	c LP other issue count 0
3600.10/3613.02	c LP Gomory cuts 0
3600.10/3613.02	c LP learned cuts 0
3600.10/3613.02	c LP deleted cuts 0
3600.10/3613.02	c LP encountered Gomory constraints 0
3600.10/3613.02	c LP encountered Farkas constraints 0
3600.10/3613.02	c LP encountered learned Farkas constraints 0
3600.10/3613.02	c CG auxiliary variables introduced 64
3600.10/3613.02	c CG solutions found 5
3600.10/3613.02	c CG cores constructed 15
3600.10/3613.02	c CG core cardinality constraints returned 0
3600.10/3613.02	c CG unit cores 0
3600.10/3613.02	c CG single cores 15
3600.10/3613.02	c CG blocks removed during cardinality reduction 0
3600.10/3613.02	c CG first core best 0
3600.10/3613.02	c CG decision core best 0
3600.10/3613.02	c CG core reduction tie 0
3600.10/3613.02	c CG core degree average 1.00
3600.10/3613.02	c CG core slack average 46.33
3600.10/3613.02	c CG exhausted 0
3600.10/3613.02	c CG exhaust time 33.5278 s
3600.10/3613.02	c CG trimmed 1
3600.10/3613.02	c CG trim time 0.013734 s
3600.10/3613.02	c CG minimized 0
3600.10/3613.02	c CG minimize time 0 s
3600.10/3613.02	c CG am1 prop time 0.022507 s
3600.10/3613.02	c CG # am1s reformulated 0
3600.10/3613.02	c CG lower bound derived from am1s 0
3600.10/3613.02	c CG # clausal cores 15
3600.10/3613.02	c CG # cardinality cores 0
3600.10/3613.02	c CG # pb cores 0
3600.10/3613.02	c CG # pb reforms 0
3600.10/3613.02	c CG # cores discarded because of pb reform 0
3600.10/3613.02	d LOWERBOUND 20
3600.10/3613.02	d NCORES 15
3600.10/3613.02	d NPBCORES 0
3600.10/3613.02	d NPBREFORM 0
3600.10/3613.02	d NTRIMMED 1
3600.10/3613.02	d NEXHAUSTED 0
3600.10/3613.02	d NAM1S 0
3600.10/3613.02	d AM1LB 0
3600.10/3613.02	o 22
3600.10/3613.02	s SATISFIABLE
3600.10/3613.02	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: 64059 MiB (62667 MiB free)
  memory of node 1: 64510 MiB (62180 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435957-1721111332/watcher-4435957-1721111332 -o /tmp/evaluation-result-4435957-1721111332/solver-4435957-1721111332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828395 --watchdog 3760 pb-oll-rs HOME/instance-4435957-1721111332.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=833483, runsolver pid=833480

[startup+0.100102 s]*
/proc/loadavg: 4.11 4.14 4.15 5/244 833484
/proc/meminfo: memFree=127839804/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=42672 memory=9748 CPUtime=0.1 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 1332 0 0 0 9 1 0 0 20 0 1 0 163289616 43696128 2437 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 10668 2437 1376 291 0 2202 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42672 KiB
Current children cumulated memory: 9748 KiB

[startup+0.214389 s]*
/proc/loadavg: 4.11 4.14 4.15 5/244 833486
/proc/meminfo: memFree=127835724/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=43596 memory=13372 CPUtime=0.22 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 1709 0 0 0 20 2 0 0 20 0 1 0 163289616 44642304 3343 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 10899 3343 1376 291 0 2433 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 43596 KiB
Current children cumulated memory: 13372 KiB

[startup+0.313459 s]*
/proc/loadavg: 4.11 4.14 4.15 5/244 833486
/proc/meminfo: memFree=127834912/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=43996 memory=13636 CPUtime=0.32 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 1803 0 0 0 29 3 0 0 20 0 1 0 163289616 45051904 3409 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 10999 3409 1376 291 0 2533 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43996 KiB
Current children cumulated memory: 13636 KiB

[startup+0.7003 s]
/proc/loadavg: 4.10 4.13 4.15 5/244 833486
/proc/meminfo: memFree=127832420/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=49112 memory=19208 CPUtime=0.69 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 2657 0 0 0 65 4 0 0 20 0 1 0 163289616 50290688 4802 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 12278 4802 1376 291 0 3812 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49112 KiB
Current children cumulated memory: 19208 KiB

[startup+1.50032 s]
/proc/loadavg: 4.10 4.13 4.15 5/244 833486
/proc/meminfo: memFree=127826928/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=55940 memory=25064 CPUtime=1.48 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 3670 0 0 0 142 6 0 0 20 0 1 0 163289616 57282560 6266 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 13985 6266 1376 291 0 5519 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55940 KiB
Current children cumulated memory: 25064 KiB

[startup+3.11399 s]
/proc/loadavg: 4.10 4.13 4.15 5/244 833486
/proc/meminfo: memFree=127816812/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=66300 memory=34100 CPUtime=3.09 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 4867 0 0 0 302 7 0 0 20 0 1 0 163289616 67891200 8525 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 16575 8525 1431 291 0 8109 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66300 KiB
Current children cumulated memory: 34100 KiB

[startup+6.3003 s]
/proc/loadavg: 4.17 4.15 4.16 5/244 833486
/proc/meminfo: memFree=127806968/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=82396 memory=41436 CPUtime=6.27 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 6339 0 0 0 614 13 0 0 20 0 1 0 163289616 84373504 10359 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 20599 10359 1431 291 0 12133 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82396 KiB
Current children cumulated memory: 41436 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.15 4.16 5/244 833487
/proc/meminfo: memFree=127802108/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=85772 memory=45152 CPUtime=12.64 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 7360 0 0 0 1242 22 0 0 20 0 1 0 163289616 87830528 11288 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 21443 11288 1431 291 0 12977 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 85772 KiB
Current children cumulated memory: 45152 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.16 5/244 833489
/proc/meminfo: memFree=127778512/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=99232 memory=69004 CPUtime=25.4 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 10920 0 0 0 2505 35 0 0 20 0 1 0 163289616 101613568 17251 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 24808 17251 1431 291 0 16342 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 99232 KiB
Current children cumulated memory: 69004 KiB

[startup+51.114 s]
/proc/loadavg: 4.08 4.13 4.15 6/244 833493
/proc/meminfo: memFree=127770756/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=106152 memory=75148 CPUtime=50.92 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 12704 0 0 0 5042 50 0 0 20 0 1 0 163289616 108699648 18787 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 26538 18787 1431 291 0 18072 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 106152 KiB
Current children cumulated memory: 75148 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/246 833560
/proc/meminfo: memFree=127763912/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=108000 memory=77028 CPUtime=101.93 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 13808 0 0 0 10098 95 0 0 20 0 1 0 163289616 110592000 19257 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 27000 19257 1431 291 0 18534 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 108000 KiB
Current children cumulated memory: 77028 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/244 833570
/proc/meminfo: memFree=127734352/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=136208 memory=103916 CPUtime=161.72 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 16605 0 0 0 16047 125 0 0 20 0 1 0 163289616 139476992 25979 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 34052 25979 1431 291 0 25586 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 136208 KiB
Current children cumulated memory: 103916 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.16 4.16 5/244 833627
/proc/meminfo: memFree=128067764/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=185944 memory=144640 CPUtime=221.51 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 21180 0 0 0 22010 141 0 0 20 0 1 0 163289616 190406656 36160 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 46486 36160 1431 291 0 38020 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 185944 KiB
Current children cumulated memory: 144640 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/244 833637
/proc/meminfo: memFree=127954056/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=249336 memory=174528 CPUtime=281.31 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 24710 0 0 0 27976 155 0 0 20 0 1 0 163289616 255320064 43632 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 62334 43632 1431 291 0 53868 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 249336 KiB
Current children cumulated memory: 174528 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/243 833647
/proc/meminfo: memFree=127883596/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=249452 memory=174652 CPUtime=341.09 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 24871 0 0 0 33939 170 0 0 20 0 1 0 163289616 255438848 43663 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 62363 43663 1431 291 0 53897 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 249452 KiB
Current children cumulated memory: 174652 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/243 833659
/proc/meminfo: memFree=127833600/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=249448 memory=174648 CPUtime=400.86 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 24991 0 0 0 39896 190 0 0 20 0 1 0 163289616 255434752 43662 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 62362 43662 1431 291 0 53896 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 249448 KiB
Current children cumulated memory: 174648 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/241 833669
/proc/meminfo: memFree=127772544/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=249448 memory=174648 CPUtime=460.63 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 25231 0 0 0 45851 212 0 0 20 0 1 0 163289616 255434752 43662 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 62362 43662 1431 291 0 53896 0

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

Current children cumulated memory: 457024 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.14 6/241 834894
/proc/meminfo: memFree=127547016/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612012 memory=474712 CPUtime=2851.75 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 59280 0 0 0 284599 576 0 0 20 0 1 0 163289616 626700288 118678 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153003 118678 1431 291 0 144537 0
Current children cumulated CPU time: 2851.75 s
Current children cumulated vsize: 612012 KiB
Current children cumulated memory: 474712 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.13 4.14 6/241 834905
/proc/meminfo: memFree=127539196/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612012 memory=474712 CPUtime=2911.57 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 59416 0 0 0 290575 582 0 0 20 0 1 0 163289616 626700288 118678 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153003 118678 1431 291 0 144537 0
Current children cumulated CPU time: 2911.57 s
Current children cumulated vsize: 612012 KiB
Current children cumulated memory: 474712 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.13 4.14 6/242 834916
/proc/meminfo: memFree=127531048/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475200 CPUtime=2971.38 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 59600 0 0 0 296551 587 0 0 20 0 1 0 163289616 627400704 118800 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118800 1431 291 0 144708 0
Current children cumulated CPU time: 2971.38 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475200 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.13 6/242 834927
/proc/meminfo: memFree=127512452/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3031.19 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 59745 0 0 0 302523 596 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3031.19 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.13 6/245 834942
/proc/meminfo: memFree=127510680/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3091 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 59884 0 0 0 308496 604 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3091 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.13 6/245 834952
/proc/meminfo: memFree=127507580/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3150.81 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 59901 0 0 0 314460 621 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3150.81 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.13 6/245 834963
/proc/meminfo: memFree=127498028/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3210.62 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 60065 0 0 0 320430 632 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3210.62 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.75 4.29 4.18 6/244 834973
/proc/meminfo: memFree=127496932/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3270.42 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 60191 0 0 0 326399 643 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3270.42 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3342.3 s]
/proc/loadavg: 5.40 4.58 4.30 6/244 834983
/proc/meminfo: memFree=127489380/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3330.24 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 60223 0 0 0 332373 651 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3330.24 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3402.3 s]
/proc/loadavg: 4.66 4.52 4.29 6/245 835378
/proc/meminfo: memFree=127463780/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3390.04 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 60400 0 0 0 338346 658 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3390.04 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.44 4.27 6/243 835388
/proc/meminfo: memFree=127449632/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3449.86 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 60534 0 0 0 344323 663 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3449.86 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.37 4.26 6/243 835398
/proc/meminfo: memFree=127446516/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3509.67 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 60595 0 0 0 350300 667 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3509.67 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.33 4.25 6/245 835578
/proc/meminfo: memFree=127434276/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3569.48 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 60795 0 0 0 356278 670 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3569.48 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.12 4.30 4.25 6/245 835584
/proc/meminfo: memFree=127432492/131655788 swapFree=131071996/131071996
[pid=833483] ppid=833480 vsize=612696 memory=475268 CPUtime=3600.1 cores=0,2
/proc/833483/stat : 833483 (pb-oll-rs) R 833480 833483 828344 0 -1 4194304 60799 0 0 0 359338 672 0 0 20 0 1 0 163289616 627400704 118817 134679101440 4194304 5384005 140728108016848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10579968 140728108020759 140728108020836 140728108020836 140728108027851 0
/proc/833483/statm: 153174 118817 1431 291 0 144708 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 612696 KiB
Current children cumulated memory: 475268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.4 s, system=6.72383 s

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

Child status: 0

Real time (s): 3613.03
CPU time (s): 3600.12
CPU user time (s): 3593.4
CPU system time (s): 6.72383
CPU usage (%): 99.6427
Max. virtual memory (cumulated for all children) (KiB): 612696
Max. memory (cumulated for all children) (KiB): 475268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.4
system time used= 6.72383
maximum resident set size= 475268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60813
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= 159
involuntary context switches= 24662


# summary of solver processes directly reported to runsolver:
#   pid: 833483
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3593.4
#   total CPU system time (s): 6.72383

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0459 second user time and 37.8112 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-16 08:29:04
IDJOB=4435957
IDBENCH=148194
IDSOLVER=3067
FILE ID=nodeC008/4435957-1721111332
RUNJOBID= nodeC008-1721103905-828395
SLURM_JOB_ID= 7505622
Free space on /tmp= 723756 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435957-1721111332/watcher-4435957-1721111332 -o /tmp/evaluation-result-4435957-1721111332/solver-4435957-1721111332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828395 --watchdog 3760  pb-oll-rs HOME/instance-4435957-1721111332.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=809374133

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127844356 kB
MemAvailable:   128038864 kB
Buffers:          413504 kB
Cached:           625060 kB
SwapCached:            0 kB
Active:           651016 kB
Inactive:        2636724 kB
Active(anon):       1476 kB
Inactive(anon):  2285396 kB
Active(file):     649540 kB
Inactive(file):   351328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2564 kB
Writeback:             8 kB
AnonPages:       2246236 kB
Mapped:           107836 kB
Shmem:             37704 kB
KReclaimable:      67340 kB
Slab:             160920 kB
SReclaimable:      67340 kB
SUnreclaim:        93580 kB
KernelStack:        3936 kB
PageTables:        13868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3246720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1220608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC008 at 2024-07-16 09:29:17