Trace number 4436160

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)23 3600.04 3611.13

DiagnosticValue
AM1LB0
LOWERBOUND15
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES1
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
MD5SUMa64beba99ddb27280a5fb75072b9e119
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark3419.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5568
Total number of constraints412
Number of constraints which are clauses173
Number of constraints which are cardinality constraints (but not clauses)173
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint174
Number of terms in the objective function 32
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 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 56906
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 206719
Number of bits of the biggest sum of numbers18
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.01	c [STEP] solving
0.00/0.01	c #variables 5568 #constraints 412
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.009189
0.00/0.01	c stratification level: 0
0.09/0.19	c bounds - >= 15 @ 0.009866
0.09/0.19	c finalizing WCE round: reformulating cores
74.91/75.16	c #Conflicts:       1000 | #Constraints:       1415
74.91/75.16	c bounds 23 >= 15 @ 0.45256
74.91/75.16	c #Conflicts:       2000 | #Constraints:       2415
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:       3000 | #Constraints:       2422
74.91/75.16	c #Conflicts:       4000 | #Constraints:       3422
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:       5000 | #Constraints:       2824
74.91/75.16	c #Conflicts:       6000 | #Constraints:       3824
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:       7000 | #Constraints:       2829
74.91/75.16	c #Conflicts:       8000 | #Constraints:       3829
74.91/75.16	c #Conflicts:       9000 | #Constraints:       4829
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      10000 | #Constraints:       3537
74.91/75.16	c #Conflicts:      11000 | #Constraints:       4537
74.91/75.16	c #Conflicts:      12000 | #Constraints:       5537
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      13000 | #Constraints:       3983
74.91/75.16	c #Conflicts:      14000 | #Constraints:       4983
74.91/75.16	c #Conflicts:      15000 | #Constraints:       5983
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      16000 | #Constraints:       4213
74.91/75.16	c #Conflicts:      17000 | #Constraints:       5213
74.91/75.16	c #Conflicts:      18000 | #Constraints:       6213
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      19000 | #Constraints:       4235
74.91/75.16	c #Conflicts:      20000 | #Constraints:       5235
74.91/75.16	c #Conflicts:      21000 | #Constraints:       6235
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      22000 | #Constraints:       4033
74.91/75.16	c #Conflicts:      23000 | #Constraints:       5033
74.91/75.16	c #Conflicts:      24000 | #Constraints:       6033
74.91/75.16	c #Conflicts:      25000 | #Constraints:       7033
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      26000 | #Constraints:       4634
74.91/75.16	c #Conflicts:      27000 | #Constraints:       5634
74.91/75.16	c #Conflicts:      28000 | #Constraints:       6634
74.91/75.16	c #Conflicts:      29000 | #Constraints:       7634
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      30000 | #Constraints:       5036
74.91/75.16	c #Conflicts:      31000 | #Constraints:       6036
74.91/75.16	c #Conflicts:      32000 | #Constraints:       7036
74.91/75.16	c #Conflicts:      33000 | #Constraints:       8036
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      34000 | #Constraints:       5239
74.91/75.16	c #Conflicts:      35000 | #Constraints:       6239
74.91/75.16	c #Conflicts:      36000 | #Constraints:       7239
74.91/75.16	c #Conflicts:      37000 | #Constraints:       8239
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      38000 | #Constraints:       5241
74.91/75.16	c #Conflicts:      39000 | #Constraints:       6241
74.91/75.16	c #Conflicts:      40000 | #Constraints:       7241
74.91/75.16	c #Conflicts:      41000 | #Constraints:       8241
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      42000 | #Constraints:       5049
74.91/75.16	c #Conflicts:      43000 | #Constraints:       6049
74.91/75.16	c #Conflicts:      44000 | #Constraints:       7049
74.91/75.16	c #Conflicts:      45000 | #Constraints:       8049
74.91/75.16	c #Conflicts:      46000 | #Constraints:       9049
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      47000 | #Constraints:       5642
74.91/75.16	c #Conflicts:      48000 | #Constraints:       6642
74.91/75.16	c #Conflicts:      49000 | #Constraints:       7642
74.91/75.16	c #Conflicts:      50000 | #Constraints:       8642
74.91/75.16	c #Conflicts:      51000 | #Constraints:       9642
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      52000 | #Constraints:       6044
74.91/75.16	c #Conflicts:      53000 | #Constraints:       7044
74.91/75.16	c #Conflicts:      54000 | #Constraints:       8044
74.91/75.16	c #Conflicts:      55000 | #Constraints:       9044
74.91/75.16	c #Conflicts:      56000 | #Constraints:      10044
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      57000 | #Constraints:       6238
74.91/75.16	c #Conflicts:      58000 | #Constraints:       7238
74.91/75.16	c #Conflicts:      59000 | #Constraints:       8238
74.91/75.16	c #Conflicts:      60000 | #Constraints:       9238
74.91/75.16	c #Conflicts:      61000 | #Constraints:      10238
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      62000 | #Constraints:       6240
74.91/75.16	c #Conflicts:      63000 | #Constraints:       7240
74.91/75.16	c #Conflicts:      64000 | #Constraints:       8240
74.91/75.16	c #Conflicts:      65000 | #Constraints:       9240
74.91/75.16	c #Conflicts:      66000 | #Constraints:      10240
74.91/75.16	c INPROCESSING
74.91/75.16	c GARBAGE COLLECT
74.91/75.16	c #Conflicts:      67000 | #Constraints:       6041
253.71/254.40	c #Conflicts:      68000 | #Constraints:       7041
253.71/254.40	c #Conflicts:      69000 | #Constraints:       8041
253.71/254.40	c #Conflicts:      70000 | #Constraints:       9041
253.71/254.40	c #Conflicts:      71000 | #Constraints:      10041
253.71/254.40	c #Conflicts:      72000 | #Constraints:      11041
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:      73000 | #Constraints:       6636
253.71/254.40	c #Conflicts:      74000 | #Constraints:       7636
253.71/254.40	c #Conflicts:      75000 | #Constraints:       8636
253.71/254.40	c #Conflicts:      76000 | #Constraints:       9636
253.71/254.40	c #Conflicts:      77000 | #Constraints:      10636
253.71/254.40	c #Conflicts:      78000 | #Constraints:      11636
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:      79000 | #Constraints:       7037
253.71/254.40	c #Conflicts:      80000 | #Constraints:       8037
253.71/254.40	c #Conflicts:      81000 | #Constraints:       9037
253.71/254.40	c #Conflicts:      82000 | #Constraints:      10037
253.71/254.40	c #Conflicts:      83000 | #Constraints:      11037
253.71/254.40	c #Conflicts:      84000 | #Constraints:      12037
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:      85000 | #Constraints:       7237
253.71/254.40	c #Conflicts:      86000 | #Constraints:       8237
253.71/254.40	c #Conflicts:      87000 | #Constraints:       9237
253.71/254.40	c #Conflicts:      88000 | #Constraints:      10237
253.71/254.40	c #Conflicts:      89000 | #Constraints:      11237
253.71/254.40	c #Conflicts:      90000 | #Constraints:      12237
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:      91000 | #Constraints:       7241
253.71/254.40	c #Conflicts:      92000 | #Constraints:       8241
253.71/254.40	c #Conflicts:      93000 | #Constraints:       9241
253.71/254.40	c #Conflicts:      94000 | #Constraints:      10241
253.71/254.40	c #Conflicts:      95000 | #Constraints:      11241
253.71/254.40	c #Conflicts:      96000 | #Constraints:      12241
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:      97000 | #Constraints:       7050
253.71/254.40	c #Conflicts:      98000 | #Constraints:       8050
253.71/254.40	c #Conflicts:      99000 | #Constraints:       9050
253.71/254.40	c #Conflicts:     100000 | #Constraints:      10050
253.71/254.40	c #Conflicts:     101000 | #Constraints:      11050
253.71/254.40	c #Conflicts:     102000 | #Constraints:      12050
253.71/254.40	c #Conflicts:     103000 | #Constraints:      13050
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:     104000 | #Constraints:       7645
253.71/254.40	c #Conflicts:     105000 | #Constraints:       8645
253.71/254.40	c #Conflicts:     106000 | #Constraints:       9645
253.71/254.40	c #Conflicts:     107000 | #Constraints:      10645
253.71/254.40	c #Conflicts:     108000 | #Constraints:      11645
253.71/254.40	c #Conflicts:     109000 | #Constraints:      12645
253.71/254.40	c #Conflicts:     110000 | #Constraints:      13645
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:     111000 | #Constraints:       8047
253.71/254.40	c #Conflicts:     112000 | #Constraints:       9047
253.71/254.40	c #Conflicts:     113000 | #Constraints:      10047
253.71/254.40	c #Conflicts:     114000 | #Constraints:      11047
253.71/254.40	c #Conflicts:     115000 | #Constraints:      12047
253.71/254.40	c #Conflicts:     116000 | #Constraints:      13047
253.71/254.40	c #Conflicts:     117000 | #Constraints:      14047
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:     118000 | #Constraints:       8250
253.71/254.40	c #Conflicts:     119000 | #Constraints:       9250
253.71/254.40	c #Conflicts:     120000 | #Constraints:      10250
253.71/254.40	c #Conflicts:     121000 | #Constraints:      11250
253.71/254.40	c #Conflicts:     122000 | #Constraints:      12250
253.71/254.40	c #Conflicts:     123000 | #Constraints:      13250
253.71/254.40	c #Conflicts:     124000 | #Constraints:      14250
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:     125000 | #Constraints:       8244
253.71/254.40	c #Conflicts:     126000 | #Constraints:       9244
253.71/254.40	c #Conflicts:     127000 | #Constraints:      10244
253.71/254.40	c #Conflicts:     128000 | #Constraints:      11244
253.71/254.40	c #Conflicts:     129000 | #Constraints:      12244
253.71/254.40	c #Conflicts:     130000 | #Constraints:      13244
253.71/254.40	c #Conflicts:     131000 | #Constraints:      14244
253.71/254.40	c INPROCESSING
253.71/254.40	c GARBAGE COLLECT
253.71/254.40	c #Conflicts:     132000 | #Constraints:       8044
253.71/254.40	c #Conflicts:     133000 | #Constraints:       9044
253.71/254.40	c #Conflicts:     134000 | #Constraints:      10044
253.71/254.40	c #Conflicts:     135000 | #Constraints:      11044
253.71/254.40	c #Conflicts:     136000 | #Constraints:      12044
253.71/254.40	c #Conflicts:     137000 | #Constraints:      13044
253.71/254.40	c #Conflicts:     138000 | #Constraints:      14044
253.71/254.40	c #Conflicts:     139000 | #Constraints:      15044
253.71/254.40	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     140000 | #Constraints:       8648
505.70/507.14	c #Conflicts:     141000 | #Constraints:       9648
505.70/507.14	c #Conflicts:     142000 | #Constraints:      10648
505.70/507.14	c #Conflicts:     143000 | #Constraints:      11648
505.70/507.14	c #Conflicts:     144000 | #Constraints:      12648
505.70/507.14	c #Conflicts:     145000 | #Constraints:      13648
505.70/507.14	c #Conflicts:     146000 | #Constraints:      14648
505.70/507.14	c #Conflicts:     147000 | #Constraints:      15648
505.70/507.14	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     148000 | #Constraints:       9044
505.70/507.14	c #Conflicts:     149000 | #Constraints:      10044
505.70/507.14	c #Conflicts:     150000 | #Constraints:      11044
505.70/507.14	c #Conflicts:     151000 | #Constraints:      12044
505.70/507.14	c #Conflicts:     152000 | #Constraints:      13044
505.70/507.14	c #Conflicts:     153000 | #Constraints:      14044
505.70/507.14	c #Conflicts:     154000 | #Constraints:      15044
505.70/507.14	c #Conflicts:     155000 | #Constraints:      16044
505.70/507.14	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     156000 | #Constraints:       9244
505.70/507.14	c #Conflicts:     157000 | #Constraints:      10244
505.70/507.14	c #Conflicts:     158000 | #Constraints:      11244
505.70/507.14	c #Conflicts:     159000 | #Constraints:      12244
505.70/507.14	c #Conflicts:     160000 | #Constraints:      13244
505.70/507.14	c #Conflicts:     161000 | #Constraints:      14244
505.70/507.14	c #Conflicts:     162000 | #Constraints:      15244
505.70/507.14	c #Conflicts:     163000 | #Constraints:      16244
505.70/507.14	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     164000 | #Constraints:       9240
505.70/507.14	c #Conflicts:     165000 | #Constraints:      10240
505.70/507.14	c #Conflicts:     166000 | #Constraints:      11240
505.70/507.14	c #Conflicts:     167000 | #Constraints:      12240
505.70/507.14	c #Conflicts:     168000 | #Constraints:      13240
505.70/507.14	c #Conflicts:     169000 | #Constraints:      14240
505.70/507.14	c #Conflicts:     170000 | #Constraints:      15240
505.70/507.14	c #Conflicts:     171000 | #Constraints:      16240
505.70/507.14	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     172000 | #Constraints:       9037
505.70/507.14	c #Conflicts:     173000 | #Constraints:      10037
505.70/507.14	c #Conflicts:     174000 | #Constraints:      11037
505.70/507.14	c #Conflicts:     175000 | #Constraints:      12037
505.70/507.14	c #Conflicts:     176000 | #Constraints:      13037
505.70/507.14	c #Conflicts:     177000 | #Constraints:      14037
505.70/507.14	c #Conflicts:     178000 | #Constraints:      15037
505.70/507.14	c #Conflicts:     179000 | #Constraints:      16037
505.70/507.14	c #Conflicts:     180000 | #Constraints:      17037
505.70/507.14	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     181000 | #Constraints:       9641
505.70/507.14	c #Conflicts:     182000 | #Constraints:      10641
505.70/507.14	c #Conflicts:     183000 | #Constraints:      11641
505.70/507.14	c #Conflicts:     184000 | #Constraints:      12641
505.70/507.14	c #Conflicts:     185000 | #Constraints:      13641
505.70/507.14	c #Conflicts:     186000 | #Constraints:      14641
505.70/507.14	c #Conflicts:     187000 | #Constraints:      15641
505.70/507.14	c #Conflicts:     188000 | #Constraints:      16641
505.70/507.14	c #Conflicts:     189000 | #Constraints:      17641
505.70/507.14	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     190000 | #Constraints:      10044
505.70/507.14	c #Conflicts:     191000 | #Constraints:      11044
505.70/507.14	c #Conflicts:     192000 | #Constraints:      12044
505.70/507.14	c #Conflicts:     193000 | #Constraints:      13044
505.70/507.14	c #Conflicts:     194000 | #Constraints:      14044
505.70/507.14	c #Conflicts:     195000 | #Constraints:      15044
505.70/507.14	c #Conflicts:     196000 | #Constraints:      16044
505.70/507.14	c #Conflicts:     197000 | #Constraints:      17044
505.70/507.14	c #Conflicts:     198000 | #Constraints:      18044
505.70/507.14	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     199000 | #Constraints:      10249
505.70/507.14	c #Conflicts:     200000 | #Constraints:      11249
505.70/507.14	c #Conflicts:     201000 | #Constraints:      12249
505.70/507.14	c #Conflicts:     202000 | #Constraints:      13249
505.70/507.14	c #Conflicts:     203000 | #Constraints:      14249
505.70/507.14	c #Conflicts:     204000 | #Constraints:      15249
505.70/507.14	c #Conflicts:     205000 | #Constraints:      16249
505.70/507.14	c #Conflicts:     206000 | #Constraints:      17249
505.70/507.14	c #Conflicts:     207000 | #Constraints:      18249
505.70/507.14	c INPROCESSING
505.70/507.14	c GARBAGE COLLECT
505.70/507.14	c #Conflicts:     208000 | #Constraints:      10252
505.70/507.14	c #Conflicts:     209000 | #Constraints:      11252
505.70/507.14	c #Conflicts:     210000 | #Constraints:      12252
505.70/507.14	c #Conflicts:     211000 | #Constraints:      13252
505.70/507.14	c #Conflicts:     212000 | #Constraints:      14252
505.70/507.14	c #Conflicts:     213000 | #Constraints:      15252
849.01/851.52	c #Conflicts:     214000 | #Constraints:      16252
849.01/851.52	c #Conflicts:     215000 | #Constraints:      17252
849.01/851.52	c #Conflicts:     216000 | #Constraints:      18252
849.01/851.52	c INPROCESSING
849.01/851.52	c GARBAGE COLLECT
849.01/851.52	c #Conflicts:     217000 | #Constraints:      10054
849.01/851.52	c #Conflicts:     218000 | #Constraints:      11054
849.01/851.52	c #Conflicts:     219000 | #Constraints:      12054
849.01/851.52	c #Conflicts:     220000 | #Constraints:      13054
849.01/851.52	c #Conflicts:     221000 | #Constraints:      14054
849.01/851.52	c #Conflicts:     222000 | #Constraints:      15054
849.01/851.52	c #Conflicts:     223000 | #Constraints:      16054
849.01/851.52	c #Conflicts:     224000 | #Constraints:      17054
849.01/851.52	c #Conflicts:     225000 | #Constraints:      18054
849.01/851.52	c #Conflicts:     226000 | #Constraints:      19054
849.01/851.52	c INPROCESSING
849.01/851.52	c GARBAGE COLLECT
849.01/851.52	c #Conflicts:     227000 | #Constraints:      10651
849.01/851.52	c #Conflicts:     228000 | #Constraints:      11651
849.01/851.52	c #Conflicts:     229000 | #Constraints:      12651
849.01/851.52	c #Conflicts:     230000 | #Constraints:      13651
849.01/851.52	c #Conflicts:     231000 | #Constraints:      14651
849.01/851.52	c #Conflicts:     232000 | #Constraints:      15651
849.01/851.52	c #Conflicts:     233000 | #Constraints:      16651
849.01/851.52	c #Conflicts:     234000 | #Constraints:      17651
849.01/851.52	c #Conflicts:     235000 | #Constraints:      18651
849.01/851.52	c #Conflicts:     236000 | #Constraints:      19651
849.01/851.52	c INPROCESSING
849.01/851.52	c GARBAGE COLLECT
849.01/851.52	c #Conflicts:     237000 | #Constraints:      11051
849.01/851.52	c #Conflicts:     238000 | #Constraints:      12051
849.01/851.52	c #Conflicts:     239000 | #Constraints:      13051
849.01/851.52	c #Conflicts:     240000 | #Constraints:      14051
849.01/851.52	c #Conflicts:     241000 | #Constraints:      15051
849.01/851.52	c #Conflicts:     242000 | #Constraints:      16051
849.01/851.52	c #Conflicts:     243000 | #Constraints:      17051
849.01/851.52	c #Conflicts:     244000 | #Constraints:      18051
849.01/851.52	c #Conflicts:     245000 | #Constraints:      19051
849.01/851.52	c #Conflicts:     246000 | #Constraints:      20051
849.01/851.52	c INPROCESSING
849.01/851.52	c GARBAGE COLLECT
849.01/851.52	c #Conflicts:     247000 | #Constraints:      11245
849.01/851.52	c #Conflicts:     248000 | #Constraints:      12245
849.01/851.52	c #Conflicts:     249000 | #Constraints:      13245
849.01/851.52	c #Conflicts:     250000 | #Constraints:      14245
849.01/851.52	c #Conflicts:     251000 | #Constraints:      15245
849.01/851.52	c #Conflicts:     252000 | #Constraints:      16245
849.01/851.52	c #Conflicts:     253000 | #Constraints:      17245
849.01/851.52	c #Conflicts:     254000 | #Constraints:      18245
849.01/851.52	c #Conflicts:     255000 | #Constraints:      19245
849.01/851.52	c #Conflicts:     256000 | #Constraints:      20245
849.01/851.52	c INPROCESSING
849.01/851.52	c GARBAGE COLLECT
849.01/851.52	c #Conflicts:     257000 | #Constraints:      11248
849.01/851.52	c #Conflicts:     258000 | #Constraints:      12248
849.01/851.52	c #Conflicts:     259000 | #Constraints:      13248
849.01/851.52	c #Conflicts:     260000 | #Constraints:      14248
849.01/851.52	c #Conflicts:     261000 | #Constraints:      15248
849.01/851.52	c #Conflicts:     262000 | #Constraints:      16248
849.01/851.52	c #Conflicts:     263000 | #Constraints:      17248
849.01/851.52	c #Conflicts:     264000 | #Constraints:      18248
849.01/851.52	c #Conflicts:     265000 | #Constraints:      19248
849.01/851.52	c #Conflicts:     266000 | #Constraints:      20248
849.01/851.52	c INPROCESSING
849.01/851.52	c GARBAGE COLLECT
849.01/851.52	c #Conflicts:     267000 | #Constraints:      11044
849.01/851.52	c #Conflicts:     268000 | #Constraints:      12044
849.01/851.52	c #Conflicts:     269000 | #Constraints:      13044
849.01/851.52	c #Conflicts:     270000 | #Constraints:      14044
849.01/851.52	c #Conflicts:     271000 | #Constraints:      15044
849.01/851.52	c #Conflicts:     272000 | #Constraints:      16044
849.01/851.52	c #Conflicts:     273000 | #Constraints:      17044
849.01/851.52	c #Conflicts:     274000 | #Constraints:      18044
849.01/851.52	c #Conflicts:     275000 | #Constraints:      19044
849.01/851.52	c #Conflicts:     276000 | #Constraints:      20044
849.01/851.52	c #Conflicts:     277000 | #Constraints:      21044
849.01/851.52	c INPROCESSING
849.01/851.52	c GARBAGE COLLECT
849.01/851.52	c #Conflicts:     278000 | #Constraints:      11643
849.01/851.52	c #Conflicts:     279000 | #Constraints:      12643
849.01/851.52	c #Conflicts:     280000 | #Constraints:      13643
849.01/851.52	c #Conflicts:     281000 | #Constraints:      14643
849.01/851.52	c #Conflicts:     282000 | #Constraints:      15643
849.01/851.52	c #Conflicts:     283000 | #Constraints:      16643
849.01/851.52	c #Conflicts:     284000 | #Constraints:      17643
849.01/851.52	c #Conflicts:     285000 | #Constraints:      18643
849.01/851.52	c #Conflicts:     286000 | #Constraints:      19643
849.01/851.52	c #Conflicts:     287000 | #Constraints:      20643
1297.32/1301.27	c #Conflicts:     288000 | #Constraints:      21643
1297.32/1301.27	c INPROCESSING
1297.32/1301.27	c GARBAGE COLLECT
1297.32/1301.27	c #Conflicts:     289000 | #Constraints:      12041
1297.32/1301.27	c #Conflicts:     290000 | #Constraints:      13041
1297.32/1301.27	c #Conflicts:     291000 | #Constraints:      14041
1297.32/1301.27	c #Conflicts:     292000 | #Constraints:      15041
1297.32/1301.27	c #Conflicts:     293000 | #Constraints:      16041
1297.32/1301.27	c #Conflicts:     294000 | #Constraints:      17041
1297.32/1301.27	c #Conflicts:     295000 | #Constraints:      18041
1297.32/1301.27	c #Conflicts:     296000 | #Constraints:      19041
1297.32/1301.27	c #Conflicts:     297000 | #Constraints:      20041
1297.32/1301.27	c #Conflicts:     298000 | #Constraints:      21041
1297.32/1301.27	c #Conflicts:     299000 | #Constraints:      22041
1297.32/1301.27	c INPROCESSING
1297.32/1301.27	c GARBAGE COLLECT
1297.32/1301.27	c #Conflicts:     300000 | #Constraints:      12241
1297.32/1301.27	c #Conflicts:     301000 | #Constraints:      13241
1297.32/1301.27	c #Conflicts:     302000 | #Constraints:      14241
1297.32/1301.27	c #Conflicts:     303000 | #Constraints:      15241
1297.32/1301.27	c #Conflicts:     304000 | #Constraints:      16241
1297.32/1301.27	c #Conflicts:     305000 | #Constraints:      17241
1297.32/1301.27	c #Conflicts:     306000 | #Constraints:      18241
1297.32/1301.27	c #Conflicts:     307000 | #Constraints:      19241
1297.32/1301.27	c #Conflicts:     308000 | #Constraints:      20241
1297.32/1301.27	c #Conflicts:     309000 | #Constraints:      21241
1297.32/1301.27	c #Conflicts:     310000 | #Constraints:      22241
1297.32/1301.27	c INPROCESSING
1297.32/1301.27	c GARBAGE COLLECT
1297.32/1301.27	c #Conflicts:     311000 | #Constraints:      12245
1297.32/1301.27	c #Conflicts:     312000 | #Constraints:      13245
1297.32/1301.27	c #Conflicts:     313000 | #Constraints:      14245
1297.32/1301.27	c #Conflicts:     314000 | #Constraints:      15245
1297.32/1301.27	c #Conflicts:     315000 | #Constraints:      16245
1297.32/1301.27	c #Conflicts:     316000 | #Constraints:      17245
1297.32/1301.27	c #Conflicts:     317000 | #Constraints:      18245
1297.32/1301.27	c #Conflicts:     318000 | #Constraints:      19245
1297.32/1301.27	c #Conflicts:     319000 | #Constraints:      20245
1297.32/1301.27	c #Conflicts:     320000 | #Constraints:      21245
1297.32/1301.27	c #Conflicts:     321000 | #Constraints:      22245
1297.32/1301.27	c INPROCESSING
1297.32/1301.27	c GARBAGE COLLECT
1297.32/1301.27	c #Conflicts:     322000 | #Constraints:      12046
1297.32/1301.27	c #Conflicts:     323000 | #Constraints:      13046
1297.32/1301.27	c #Conflicts:     324000 | #Constraints:      14046
1297.32/1301.27	c #Conflicts:     325000 | #Constraints:      15046
1297.32/1301.27	c #Conflicts:     326000 | #Constraints:      16046
1297.32/1301.27	c #Conflicts:     327000 | #Constraints:      17046
1297.32/1301.27	c #Conflicts:     328000 | #Constraints:      18046
1297.32/1301.27	c #Conflicts:     329000 | #Constraints:      19046
1297.32/1301.27	c #Conflicts:     330000 | #Constraints:      20046
1297.32/1301.27	c #Conflicts:     331000 | #Constraints:      21046
1297.32/1301.27	c #Conflicts:     332000 | #Constraints:      22046
1297.32/1301.27	c #Conflicts:     333000 | #Constraints:      23046
1297.32/1301.27	c INPROCESSING
1297.32/1301.27	c GARBAGE COLLECT
1297.32/1301.27	c #Conflicts:     334000 | #Constraints:      12647
1297.32/1301.27	c #Conflicts:     335000 | #Constraints:      13647
1297.32/1301.27	c #Conflicts:     336000 | #Constraints:      14647
1297.32/1301.27	c #Conflicts:     337000 | #Constraints:      15647
1297.32/1301.27	c #Conflicts:     338000 | #Constraints:      16647
1297.32/1301.27	c #Conflicts:     339000 | #Constraints:      17647
1297.32/1301.27	c #Conflicts:     340000 | #Constraints:      18647
1297.32/1301.27	c #Conflicts:     341000 | #Constraints:      19647
1297.32/1301.27	c #Conflicts:     342000 | #Constraints:      20647
1297.32/1301.27	c #Conflicts:     343000 | #Constraints:      21647
1297.32/1301.27	c #Conflicts:     344000 | #Constraints:      22647
1297.32/1301.27	c #Conflicts:     345000 | #Constraints:      23647
1297.32/1301.27	c INPROCESSING
1297.32/1301.27	c GARBAGE COLLECT
1297.32/1301.27	c #Conflicts:     346000 | #Constraints:      13046
1297.32/1301.27	c #Conflicts:     347000 | #Constraints:      14046
1297.32/1301.27	c #Conflicts:     348000 | #Constraints:      15046
1297.32/1301.27	c #Conflicts:     349000 | #Constraints:      16046
1297.32/1301.27	c #Conflicts:     350000 | #Constraints:      17046
1297.32/1301.27	c #Conflicts:     351000 | #Constraints:      18046
1297.32/1301.27	c #Conflicts:     352000 | #Constraints:      19046
1297.32/1301.27	c #Conflicts:     353000 | #Constraints:      20046
1297.32/1301.27	c #Conflicts:     354000 | #Constraints:      21046
1297.32/1301.27	c #Conflicts:     355000 | #Constraints:      22046
1297.32/1301.27	c #Conflicts:     356000 | #Constraints:      23046
1297.32/1301.27	c #Conflicts:     357000 | #Constraints:      24046
1297.32/1301.27	c INPROCESSING
1297.32/1301.27	c GARBAGE COLLECT
1297.32/1301.27	c #Conflicts:     358000 | #Constraints:      13248
1297.32/1301.27	c #Conflicts:     359000 | #Constraints:      14248
1297.32/1301.27	c #Conflicts:     360000 | #Constraints:      15248
1297.32/1301.27	c #Conflicts:     361000 | #Constraints:      16248
1836.85/1842.49	c #Conflicts:     362000 | #Constraints:      17248
1836.85/1842.49	c #Conflicts:     363000 | #Constraints:      18248
1836.85/1842.49	c #Conflicts:     364000 | #Constraints:      19248
1836.85/1842.49	c #Conflicts:     365000 | #Constraints:      20248
1836.85/1842.49	c #Conflicts:     366000 | #Constraints:      21248
1836.85/1842.49	c #Conflicts:     367000 | #Constraints:      22248
1836.85/1842.49	c #Conflicts:     368000 | #Constraints:      23248
1836.85/1842.49	c #Conflicts:     369000 | #Constraints:      24248
1836.85/1842.49	c INPROCESSING
1836.85/1842.49	c GARBAGE COLLECT
1836.85/1842.49	c #Conflicts:     370000 | #Constraints:      13242
1836.85/1842.49	c #Conflicts:     371000 | #Constraints:      14242
1836.85/1842.49	c #Conflicts:     372000 | #Constraints:      15242
1836.85/1842.49	c #Conflicts:     373000 | #Constraints:      16242
1836.85/1842.49	c #Conflicts:     374000 | #Constraints:      17242
1836.85/1842.49	c #Conflicts:     375000 | #Constraints:      18242
1836.85/1842.49	c #Conflicts:     376000 | #Constraints:      19242
1836.85/1842.49	c #Conflicts:     377000 | #Constraints:      20242
1836.85/1842.49	c #Conflicts:     378000 | #Constraints:      21242
1836.85/1842.49	c #Conflicts:     379000 | #Constraints:      22242
1836.85/1842.49	c #Conflicts:     380000 | #Constraints:      23242
1836.85/1842.49	c #Conflicts:     381000 | #Constraints:      24242
1836.85/1842.49	c INPROCESSING
1836.85/1842.49	c GARBAGE COLLECT
1836.85/1842.49	c #Conflicts:     382000 | #Constraints:      13040
1836.85/1842.49	c #Conflicts:     383000 | #Constraints:      14040
1836.85/1842.49	c #Conflicts:     384000 | #Constraints:      15040
1836.85/1842.49	c #Conflicts:     385000 | #Constraints:      16040
1836.85/1842.49	c #Conflicts:     386000 | #Constraints:      17040
1836.85/1842.49	c #Conflicts:     387000 | #Constraints:      18040
1836.85/1842.49	c #Conflicts:     388000 | #Constraints:      19040
1836.85/1842.49	c #Conflicts:     389000 | #Constraints:      20040
1836.85/1842.49	c #Conflicts:     390000 | #Constraints:      21040
1836.85/1842.49	c #Conflicts:     391000 | #Constraints:      22040
1836.85/1842.49	c #Conflicts:     392000 | #Constraints:      23040
1836.85/1842.49	c #Conflicts:     393000 | #Constraints:      24040
1836.85/1842.49	c #Conflicts:     394000 | #Constraints:      25040
1836.85/1842.49	c INPROCESSING
1836.85/1842.49	c GARBAGE COLLECT
1836.85/1842.49	c #Conflicts:     395000 | #Constraints:      13644
1836.85/1842.49	c #Conflicts:     396000 | #Constraints:      14644
1836.85/1842.49	c #Conflicts:     397000 | #Constraints:      15644
1836.85/1842.49	c #Conflicts:     398000 | #Constraints:      16644
1836.85/1842.49	c #Conflicts:     399000 | #Constraints:      17644
1836.85/1842.49	c #Conflicts:     400000 | #Constraints:      18644
1836.85/1842.49	c #Conflicts:     401000 | #Constraints:      19644
1836.85/1842.49	c #Conflicts:     402000 | #Constraints:      20644
1836.85/1842.49	c #Conflicts:     403000 | #Constraints:      21644
1836.85/1842.49	c #Conflicts:     404000 | #Constraints:      22644
1836.85/1842.49	c #Conflicts:     405000 | #Constraints:      23644
1836.85/1842.49	c #Conflicts:     406000 | #Constraints:      24644
1836.85/1842.49	c #Conflicts:     407000 | #Constraints:      25644
1836.85/1842.49	c INPROCESSING
1836.85/1842.49	c GARBAGE COLLECT
1836.85/1842.49	c #Conflicts:     408000 | #Constraints:      14041
1836.85/1842.49	c #Conflicts:     409000 | #Constraints:      15041
1836.85/1842.49	c #Conflicts:     410000 | #Constraints:      16041
1836.85/1842.49	c #Conflicts:     411000 | #Constraints:      17041
1836.85/1842.49	c #Conflicts:     412000 | #Constraints:      18041
1836.85/1842.49	c #Conflicts:     413000 | #Constraints:      19041
1836.85/1842.49	c #Conflicts:     414000 | #Constraints:      20041
1836.85/1842.49	c #Conflicts:     415000 | #Constraints:      21041
1836.85/1842.49	c #Conflicts:     416000 | #Constraints:      22041
1836.85/1842.49	c #Conflicts:     417000 | #Constraints:      23041
1836.85/1842.49	c #Conflicts:     418000 | #Constraints:      24041
1836.85/1842.49	c #Conflicts:     419000 | #Constraints:      25041
1836.85/1842.49	c #Conflicts:     420000 | #Constraints:      26041
1836.85/1842.49	c INPROCESSING
1836.85/1842.49	c GARBAGE COLLECT
1836.85/1842.49	c #Conflicts:     421000 | #Constraints:      14254
1836.85/1842.49	c #Conflicts:     422000 | #Constraints:      15254
1836.85/1842.49	c #Conflicts:     423000 | #Constraints:      16254
1836.85/1842.49	c #Conflicts:     424000 | #Constraints:      17254
1836.85/1842.49	c #Conflicts:     425000 | #Constraints:      18254
1836.85/1842.49	c #Conflicts:     426000 | #Constraints:      19254
1836.85/1842.49	c #Conflicts:     427000 | #Constraints:      20254
1836.85/1842.49	c #Conflicts:     428000 | #Constraints:      21254
1836.85/1842.49	c #Conflicts:     429000 | #Constraints:      22254
1836.85/1842.49	c #Conflicts:     430000 | #Constraints:      23254
1836.85/1842.49	c #Conflicts:     431000 | #Constraints:      24254
1836.85/1842.49	c #Conflicts:     432000 | #Constraints:      25254
1836.85/1842.49	c #Conflicts:     433000 | #Constraints:      26254
1836.85/1842.49	c INPROCESSING
1836.85/1842.49	c GARBAGE COLLECT
1836.85/1842.49	c #Conflicts:     434000 | #Constraints:      14250
1836.85/1842.49	c #Conflicts:     435000 | #Constraints:      15250
1836.85/1842.49	c #Conflicts:     436000 | #Constraints:      16250
2896.11/2905.06	c #Conflicts:     437000 | #Constraints:      17250
2896.11/2905.06	c #Conflicts:     438000 | #Constraints:      18250
2896.11/2905.06	c #Conflicts:     439000 | #Constraints:      19250
2896.11/2905.06	c #Conflicts:     440000 | #Constraints:      20250
2896.11/2905.06	c #Conflicts:     441000 | #Constraints:      21250
2896.11/2905.06	c #Conflicts:     442000 | #Constraints:      22250
2896.11/2905.06	c #Conflicts:     443000 | #Constraints:      23250
2896.11/2905.06	c #Conflicts:     444000 | #Constraints:      24250
2896.11/2905.06	c #Conflicts:     445000 | #Constraints:      25250
2896.11/2905.06	c #Conflicts:     446000 | #Constraints:      26250
2896.11/2905.06	c INPROCESSING
2896.11/2905.06	c GARBAGE COLLECT
2896.11/2905.06	c #Conflicts:     447000 | #Constraints:      14053
2896.11/2905.06	c #Conflicts:     448000 | #Constraints:      15053
2896.11/2905.06	c #Conflicts:     449000 | #Constraints:      16053
2896.11/2905.06	c #Conflicts:     450000 | #Constraints:      17053
2896.11/2905.06	c #Conflicts:     451000 | #Constraints:      18053
2896.11/2905.06	c #Conflicts:     452000 | #Constraints:      19053
2896.11/2905.06	c #Conflicts:     453000 | #Constraints:      20053
2896.11/2905.06	c #Conflicts:     454000 | #Constraints:      21053
2896.11/2905.06	c #Conflicts:     455000 | #Constraints:      22053
2896.11/2905.06	c #Conflicts:     456000 | #Constraints:      23053
2896.11/2905.06	c #Conflicts:     457000 | #Constraints:      24053
2896.11/2905.06	c #Conflicts:     458000 | #Constraints:      25053
2896.11/2905.06	c #Conflicts:     459000 | #Constraints:      26053
2896.11/2905.06	c #Conflicts:     460000 | #Constraints:      27053
2896.11/2905.06	c INPROCESSING
2896.11/2905.06	c GARBAGE COLLECT
2896.11/2905.06	c #Conflicts:     461000 | #Constraints:      14658
2896.11/2905.06	c #Conflicts:     462000 | #Constraints:      15658
2896.11/2905.06	c #Conflicts:     463000 | #Constraints:      16658
2896.11/2905.06	c #Conflicts:     464000 | #Constraints:      17658
2896.11/2905.06	c #Conflicts:     465000 | #Constraints:      18658
2896.11/2905.06	c #Conflicts:     466000 | #Constraints:      19658
2896.11/2905.06	c #Conflicts:     467000 | #Constraints:      20658
2896.11/2905.06	c #Conflicts:     468000 | #Constraints:      21658
2896.11/2905.06	c #Conflicts:     469000 | #Constraints:      22658
2896.11/2905.06	c #Conflicts:     470000 | #Constraints:      23658
2896.11/2905.06	c #Conflicts:     471000 | #Constraints:      24658
2896.11/2905.06	c #Conflicts:     472000 | #Constraints:      25658
2896.11/2905.06	c #Conflicts:     473000 | #Constraints:      26658
2896.11/2905.06	c #Conflicts:     474000 | #Constraints:      27658
2896.11/2905.06	c INPROCESSING
2896.11/2905.06	c GARBAGE COLLECT
2896.11/2905.06	c #Conflicts:     475000 | #Constraints:      15050
2896.11/2905.06	c #Conflicts:     476000 | #Constraints:      16050
2896.11/2905.06	c #Conflicts:     477000 | #Constraints:      17050
2896.11/2905.06	c #Conflicts:     478000 | #Constraints:      18050
2896.11/2905.06	c #Conflicts:     479000 | #Constraints:      19050
2896.11/2905.06	c #Conflicts:     480000 | #Constraints:      20050
2896.11/2905.06	c #Conflicts:     481000 | #Constraints:      21050
2896.11/2905.06	c #Conflicts:     482000 | #Constraints:      22050
2896.11/2905.06	c #Conflicts:     483000 | #Constraints:      23050
2896.11/2905.06	c #Conflicts:     484000 | #Constraints:      24050
2896.11/2905.06	c #Conflicts:     485000 | #Constraints:      25050
2896.11/2905.06	c #Conflicts:     486000 | #Constraints:      26050
2896.11/2905.06	c #Conflicts:     487000 | #Constraints:      27050
2896.11/2905.06	c #Conflicts:     488000 | #Constraints:      28050
2896.11/2905.06	c INPROCESSING
2896.11/2905.06	c GARBAGE COLLECT
2896.11/2905.06	c #Conflicts:     489000 | #Constraints:      15251
2896.11/2905.06	c #Conflicts:     490000 | #Constraints:      16251
2896.11/2905.06	c #Conflicts:     491000 | #Constraints:      17251
2896.11/2905.06	c #Conflicts:     492000 | #Constraints:      18251
2896.11/2905.06	c #Conflicts:     493000 | #Constraints:      19251
2896.11/2905.06	c #Conflicts:     494000 | #Constraints:      20251
2896.11/2905.06	c #Conflicts:     495000 | #Constraints:      21251
2896.11/2905.06	c #Conflicts:     496000 | #Constraints:      22251
2896.11/2905.06	c #Conflicts:     497000 | #Constraints:      23251
2896.11/2905.06	c #Conflicts:     498000 | #Constraints:      24251
2896.11/2905.06	c #Conflicts:     499000 | #Constraints:      25251
2896.11/2905.06	c #Conflicts:     500000 | #Constraints:      26251
2896.11/2905.06	c #Conflicts:     501000 | #Constraints:      27251
2896.11/2905.06	c #Conflicts:     502000 | #Constraints:      28251
2896.11/2905.06	c INPROCESSING
2896.11/2905.06	c GARBAGE COLLECT
2896.11/2905.06	c #Conflicts:     503000 | #Constraints:      15254
2896.11/2905.06	c #Conflicts:     504000 | #Constraints:      16254
2896.11/2905.06	c #Conflicts:     505000 | #Constraints:      17254
2896.11/2905.06	c #Conflicts:     506000 | #Constraints:      18254
2896.11/2905.06	c #Conflicts:     507000 | #Constraints:      19254
2896.11/2905.06	c #Conflicts:     508000 | #Constraints:      20254
2896.11/2905.06	c #Conflicts:     509000 | #Constraints:      21254
2896.11/2905.06	c #Conflicts:     510000 | #Constraints:      22254
2896.11/2905.06	c #Conflicts:     511000 | #Constraints:      23254
2896.11/2905.06	c #Conflicts:     512000 | #Constraints:      24254
3600.01/3611.10	c #Conflicts:     513000 | #Constraints:      25254
3600.01/3611.10	c #Conflicts:     514000 | #Constraints:      26254
3600.01/3611.10	c #Conflicts:     515000 | #Constraints:      27254
3600.01/3611.10	c #Conflicts:     516000 | #Constraints:      28254
3600.01/3611.10	c INPROCESSING
3600.01/3611.10	c GARBAGE COLLECT
3600.01/3611.10	c #Conflicts:     517000 | #Constraints:      15046
3600.01/3611.10	c #Conflicts:     518000 | #Constraints:      16046
3600.01/3611.10	c #Conflicts:     519000 | #Constraints:      17046
3600.01/3611.10	c #Conflicts:     520000 | #Constraints:      18046
3600.01/3611.10	c #Conflicts:     521000 | #Constraints:      19046
3600.01/3611.10	c #Conflicts:     522000 | #Constraints:      20046
3600.01/3611.10	c #Conflicts:     523000 | #Constraints:      21046
3600.01/3611.10	c #Conflicts:     524000 | #Constraints:      22046
3600.01/3611.10	c #Conflicts:     525000 | #Constraints:      23046
3600.01/3611.10	c #Conflicts:     526000 | #Constraints:      24046
3600.01/3611.10	c #Conflicts:     527000 | #Constraints:      25046
3600.01/3611.10	c #Conflicts:     528000 | #Constraints:      26046
3600.01/3611.10	c #Conflicts:     529000 | #Constraints:      27046
3600.01/3611.10	c #Conflicts:     530000 | #Constraints:      28046
3600.01/3611.10	c #Conflicts:     531000 | #Constraints:      29046
3600.01/3611.10	c INPROCESSING
3600.01/3611.10	c GARBAGE COLLECT
3600.01/3611.10	c #Conflicts:     532000 | #Constraints:      15650
3600.01/3611.10	c #Conflicts:     533000 | #Constraints:      16650
3600.01/3611.10	c #Conflicts:     534000 | #Constraints:      17650
3600.01/3611.10	c #Conflicts:     535000 | #Constraints:      18650
3600.01/3611.10	c #Conflicts:     536000 | #Constraints:      19650
3600.01/3611.10	c #Conflicts:     537000 | #Constraints:      20650
3600.01/3611.10	c #Conflicts:     538000 | #Constraints:      21650
3600.01/3611.10	c #Conflicts:     539000 | #Constraints:      22650
3600.01/3611.10	c #Conflicts:     540000 | #Constraints:      23650
3600.01/3611.10	c #Conflicts:     541000 | #Constraints:      24650
3600.01/3611.10	c #Conflicts:     542000 | #Constraints:      25650
3600.01/3611.10	c #Conflicts:     543000 | #Constraints:      26650
3600.01/3611.10	c #Conflicts:     544000 | #Constraints:      27650
3600.01/3611.10	c #Conflicts:     545000 | #Constraints:      28650
3600.01/3611.10	c #Conflicts:     546000 | #Constraints:      29650
3600.01/3611.10	c INPROCESSING
3600.01/3611.10	c GARBAGE COLLECT
3600.01/3611.10	c #Conflicts:     547000 | #Constraints:      16055
3600.01/3611.10	c #Conflicts:     548000 | #Constraints:      17055
3600.01/3611.10	c #Conflicts:     549000 | #Constraints:      18055
3600.01/3611.10	c #Conflicts:     550000 | #Constraints:      19055
3600.01/3611.10	c #Conflicts:     551000 | #Constraints:      20055
3600.01/3611.10	c #Conflicts:     552000 | #Constraints:      21055
3600.01/3611.10	c #Conflicts:     553000 | #Constraints:      22055
3600.01/3611.10	c #Conflicts:     554000 | #Constraints:      23055
3600.01/3611.10	c #Conflicts:     555000 | #Constraints:      24055
3600.01/3611.10	c #Conflicts:     556000 | #Constraints:      25055
3600.01/3611.10	c #Conflicts:     557000 | #Constraints:      26055
3600.01/3611.10	c #Conflicts:     558000 | #Constraints:      27055
3600.01/3611.10	c #Conflicts:     559000 | #Constraints:      28055
3600.01/3611.10	c #Conflicts:     560000 | #Constraints:      29055
3600.01/3611.10	c #Conflicts:     561000 | #Constraints:      30055
3600.01/3611.10	c INPROCESSING
3600.01/3611.10	c GARBAGE COLLECT
3600.01/3611.10	c #Conflicts:     562000 | #Constraints:      16259
3600.01/3611.10	c #Conflicts:     563000 | #Constraints:      17259
3600.01/3611.10	c #Conflicts:     564000 | #Constraints:      18259
3600.01/3611.10	c #Conflicts:     565000 | #Constraints:      19259
3600.01/3611.10	c #Conflicts:     566000 | #Constraints:      20259
3600.01/3611.10	c #Conflicts:     567000 | #Constraints:      21259
3600.01/3611.10	c #Conflicts:     568000 | #Constraints:      22259
3600.01/3611.10	c #Conflicts:     569000 | #Constraints:      23259
3600.01/3611.10	c #Conflicts:     570000 | #Constraints:      24259
3600.01/3611.10	c #Conflicts:     571000 | #Constraints:      25259
3600.01/3611.10	c #Conflicts:     572000 | #Constraints:      26259
3600.01/3611.10	c #Conflicts:     573000 | #Constraints:      27259
3600.01/3611.10	c Program interrupted by user.
3600.01/3611.10	c cpu time 3580.45 s
3600.01/3611.10	c deterministic time 441372393295 4.41e+11
3600.01/3611.10	c optimization time 124.742 s
3600.01/3611.10	c total solve time 3455.7 s
3600.01/3611.10	c core-guided solve time 3455.7 s
3600.01/3611.10	c propagation time 3222.59 s
3600.01/3611.10	c conflict analysis time 268.432 s
3600.01/3611.10	c propagations 67069118
3600.01/3611.10	c resolve steps 3466965
3600.01/3611.10	c decisions 15696825
3600.01/3611.10	c conflicts 573060
3600.01/3611.10	c restarts 1212
3600.01/3611.10	c inprocessing phases 66
3600.01/3611.10	c input clauses 173
3600.01/3611.10	c input cardinalities 176
3600.01/3611.10	c input general constraints 67
3600.01/3611.10	c input average constraint length 53.85
3600.01/3611.10	c input average constraint degree 11066.13
3600.01/3611.10	c learned clauses 306
3600.01/3611.10	c learned cardinalities 0
3600.01/3611.10	c learned general constraints 572754
3600.01/3611.10	c learned average constraint length 1469.23
3600.01/3611.10	c learned average constraint degree 4466345.34
3600.01/3611.10	c watched constraints 266432
3600.01/3611.10	c counting constraints 306389
3600.01/3611.10	c gcd simplifications 864
3600.01/3611.10	c detected cardinalities 0
3600.01/3611.10	c weakened non-implied lits 20364916
3600.01/3611.10	c weakened non-implying lits 40014
3600.01/3611.10	c original variables 5568
3600.01/3611.10	c clausal propagations 2320063
3600.01/3611.10	c cardinality propagations 14087913
3600.01/3611.10	c watched propagations 3001653
3600.01/3611.10	c counting propagations 47522393
3600.01/3611.10	c watch lookups 45887047598
3600.01/3611.10	c watch backjump lookups 45293893698
3600.01/3611.10	c watch checks 255602827335
3600.01/3611.10	c propagation checks 92698129472
3600.01/3611.10	c constraint additions 1724395515
3600.01/3611.10	c trail pops 83333733
3600.01/3611.10	c formula constraints 412
3600.01/3611.10	c learned constraints 573060
3600.01/3611.10	c bound constraints 2
3600.01/3611.10	c core-guided constraints 2
3600.01/3611.10	c encountered formula constraints 2325609
3600.01/3611.10	c encountered learned constraints 1714141
3600.01/3611.10	c encountered bound constraints 4
3600.01/3611.10	c encountered core-guided constraints 271
3600.01/3611.10	c LP total time 0 s
3600.01/3611.10	c LP solve time 0 s
3600.01/3611.10	c LP constraints added 0
3600.01/3611.10	c LP constraints removed 0
3600.01/3611.10	c LP pivots internal 0
3600.01/3611.10	c LP pivots root 0
3600.01/3611.10	c LP calls 0
3600.01/3611.10	c LP optimalities 0
3600.01/3611.10	c LP no pivot count 0
3600.01/3611.10	c LP infeasibilities 0
3600.01/3611.10	c LP valid Farkas constraints 0
3600.01/3611.10	c LP learned Farkas constraints 0
3600.01/3611.10	c LP basis resets 0
3600.01/3611.10	c LP cycling count 0
3600.01/3611.10	c LP singular count 0
3600.01/3611.10	c LP no primal count 0
3600.01/3611.10	c LP no farkas count 0
3600.01/3611.10	c LP other issue count 0
3600.01/3611.10	c LP Gomory cuts 0
3600.01/3611.10	c LP learned cuts 0
3600.01/3611.10	c LP deleted cuts 0
3600.01/3611.10	c LP encountered Gomory constraints 0
3600.01/3611.10	c LP encountered Farkas constraints 0
3600.01/3611.10	c LP encountered learned Farkas constraints 0
3600.01/3611.10	c CG auxiliary variables introduced 1
3600.01/3611.10	c CG solutions found 1
3600.01/3611.10	c CG cores constructed 1
3600.01/3611.10	c CG core cardinality constraints returned 1
3600.01/3611.10	c CG unit cores 0
3600.01/3611.10	c CG single cores 1
3600.01/3611.10	c CG blocks removed during cardinality reduction 0
3600.01/3611.10	c CG first core best 0
3600.01/3611.10	c CG decision core best 0
3600.01/3611.10	c CG core reduction tie 0
3600.01/3611.10	c CG core degree average 15.00
3600.01/3611.10	c CG core slack average 17.00
3600.01/3611.10	c CG exhausted 0
3600.01/3611.10	c CG exhaust time 0.274129 s
3600.01/3611.10	c CG trimmed 0
3600.01/3611.10	c CG trim time 0.00013 s
3600.01/3611.10	c CG minimized 0
3600.01/3611.10	c CG minimize time 0 s
3600.01/3611.10	c CG am1 prop time 0.000967 s
3600.01/3611.10	c CG # am1s reformulated 0
3600.01/3611.10	c CG lower bound derived from am1s 0
3600.01/3611.10	c CG # clausal cores 0
3600.01/3611.10	c CG # cardinality cores 0
3600.01/3611.10	c CG # pb cores 1
3600.01/3611.10	c CG # pb reforms 0
3600.01/3611.10	c CG # cores discarded because of pb reform 0
3600.01/3611.10	d LOWERBOUND 15
3600.01/3611.10	d NCORES 1
3600.01/3611.10	d NPBCORES 1
3600.01/3611.10	d NPBREFORM 0
3600.01/3611.10	d NTRIMMED 0
3600.01/3611.10	d NEXHAUSTED 0
3600.01/3611.10	d NAM1S 0
3600.01/3611.10	d AM1LB 0
3600.01/3611.10	o 23
3600.01/3611.10	s SATISFIABLE
3600.01/3611.10	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

Verifier Data 

OK	23

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: 63968 MiB (60958 MiB free)
  memory of node 1: 64473 MiB (62729 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436160-1721172420/watcher-4436160-1721172420 -o /tmp/evaluation-result-4436160-1721172420/solver-4436160-1721172420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878136 --watchdog 3760 pb-oll-rs HOME/instance-4436160-1721172420.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=882956, runsolver pid=882953

[startup+0.100628 s]*
/proc/loadavg: 4.08 4.15 4.11 5/259 882957
/proc/meminfo: memFree=126650940/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=40896 memory=10132 CPUtime=0.09 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 896 0 0 0 9 0 0 0 20 0 1 0 169408204 41877504 2533 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 10224 2533 1339 291 0 1758 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40896 KiB
Current children cumulated memory: 10132 KiB

[startup+0.205646 s]*
/proc/loadavg: 4.08 4.15 4.11 5/259 882957
/proc/meminfo: memFree=126647328/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=45072 memory=13036 CPUtime=0.19 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 1636 0 0 0 18 1 0 0 20 0 1 0 169408204 46153728 3259 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 11268 3259 1339 291 0 2802 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45072 KiB
Current children cumulated memory: 13036 KiB

[startup+0.305659 s]*
/proc/loadavg: 4.08 4.15 4.11 4/257 882957
/proc/meminfo: memFree=126715952/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=46272 memory=15936 CPUtime=0.29 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 2396 0 0 0 27 2 0 0 20 0 1 0 169408204 47382528 3984 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 11568 3984 1339 291 0 3102 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46272 KiB
Current children cumulated memory: 15936 KiB

[startup+0.700201 s]
/proc/loadavg: 4.08 4.15 4.11 5/256 882971
/proc/meminfo: memFree=126710612/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=60664 memory=24508 CPUtime=0.69 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 4008 0 0 0 65 4 0 0 20 0 1 0 169408204 62119936 6127 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 15166 6127 1339 291 0 6700 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60664 KiB
Current children cumulated memory: 24508 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.15 4.11 5/259 883003
/proc/meminfo: memFree=126685472/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=66240 memory=33380 CPUtime=1.48 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 5616 0 0 0 143 5 0 0 20 0 1 0 169408204 67829760 8345 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 16560 8345 1400 291 0 8094 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66240 KiB
Current children cumulated memory: 33380 KiB

[startup+3.10571 s]
/proc/loadavg: 4.15 4.17 4.12 5/259 883003
/proc/meminfo: memFree=126616236/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=85220 memory=48212 CPUtime=3.08 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 8357 0 0 0 297 11 0 0 20 0 1 0 169408204 87265280 12053 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 21305 12053 1400 291 0 12839 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85220 KiB
Current children cumulated memory: 48212 KiB

[startup+6.3002 s]
/proc/loadavg: 4.15 4.17 4.12 5/259 883005
/proc/meminfo: memFree=126543736/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=98076 memory=67004 CPUtime=6.27 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 11526 0 0 0 608 19 0 0 20 0 1 0 169408204 100429824 16751 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 24519 16751 1400 291 0 16053 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 98076 KiB
Current children cumulated memory: 67004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.11 5/259 883006
/proc/meminfo: memFree=126455080/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=128488 memory=84252 CPUtime=12.66 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 14832 0 0 0 1238 28 0 0 20 0 1 0 169408204 131571712 21063 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 32122 21063 1400 291 0 23656 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 128488 KiB
Current children cumulated memory: 84252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.15 4.11 5/259 883009
/proc/meminfo: memFree=126291884/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=148396 memory=115984 CPUtime=25.43 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 19693 0 0 0 2490 53 0 0 20 0 1 0 169408204 151957504 28996 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 37099 28996 1400 291 0 28633 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 148396 KiB
Current children cumulated memory: 115984 KiB

[startup+51.1058 s]
/proc/loadavg: 4.15 4.16 4.11 5/259 883058
/proc/meminfo: memFree=126031996/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=225676 memory=176936 CPUtime=50.96 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 29817 0 0 0 5022 74 0 0 20 0 1 0 169408204 231092224 44234 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 56419 44234 1400 291 0 47953 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 225676 KiB
Current children cumulated memory: 176936 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/260 883695
/proc/meminfo: memFree=127371720/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=258372 memory=216096 CPUtime=102.02 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 37062 0 0 0 10060 142 0 0 20 0 1 0 169408204 264572928 54024 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 64593 54024 1400 291 0 56127 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 258372 KiB
Current children cumulated memory: 216096 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/260 883705
/proc/meminfo: memFree=126880624/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=366232 memory=300708 CPUtime=161.88 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 50637 0 0 0 16008 180 0 0 20 0 1 0 169408204 375021568 75177 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 91558 75177 1400 291 0 83092 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 366232 KiB
Current children cumulated memory: 300708 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 883772
/proc/meminfo: memFree=126357136/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=427036 memory=349744 CPUtime=221.7 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 62837 0 0 0 21935 235 0 0 20 0 1 0 169408204 437284864 87436 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 106759 87436 1400 291 0 98293 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 427036 KiB
Current children cumulated memory: 349744 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 883782
/proc/meminfo: memFree=126211444/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=427036 memory=363004 CPUtime=281.53 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 62999 0 0 0 27859 294 0 0 20 0 1 0 169408204 437284864 90751 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 106759 90751 1400 291 0 98293 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 427036 KiB
Current children cumulated memory: 363004 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 883792
/proc/meminfo: memFree=125997908/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=428412 memory=384484 CPUtime=341.36 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 63480 0 0 0 33771 365 0 0 20 0 1 0 169408204 438693888 96121 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 107103 96121 1400 291 0 98637 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 428412 KiB
Current children cumulated memory: 384484 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 883804
/proc/meminfo: memFree=125923944/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=435008 memory=395796 CPUtime=401.21 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 64972 0 0 0 39707 414 0 0 20 0 1 0 169408204 445448192 98949 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 108752 98949 1400 291 0 100286 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 435008 KiB
Current children cumulated memory: 395796 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 883816
/proc/meminfo: memFree=125713040/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=526672 memory=417412 CPUtime=461.04 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 67563 0 0 0 45657 447 0 0 20 0 1 0 169408204 539312128 104353 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 131668 104353 1400 291 0 123202 0

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

Current children cumulated memory: 769536 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 884844
/proc/meminfo: memFree=119945716/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946140 memory=769580 CPUtime=2913.35 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 130801 0 0 0 289719 1616 0 0 20 0 1 0 169408204 968847360 192395 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236535 192395 1400 291 0 228069 0
Current children cumulated CPU time: 2913.35 s
Current children cumulated vsize: 946140 KiB
Current children cumulated memory: 769580 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 884854
/proc/meminfo: memFree=119932372/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770200 CPUtime=2973.17 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 131186 0 0 0 295680 1637 0 0 20 0 1 0 169408204 969502720 192550 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192550 1400 291 0 228229 0
Current children cumulated CPU time: 2973.17 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770200 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 884867
/proc/meminfo: memFree=119911368/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770200 CPUtime=3032.98 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 131313 0 0 0 301620 1678 0 0 20 0 1 0 169408204 969502720 192550 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192550 1400 291 0 228229 0
Current children cumulated CPU time: 3032.98 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770200 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 884877
/proc/meminfo: memFree=119893512/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770200 CPUtime=3092.79 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 131480 0 0 0 307574 1705 0 0 20 0 1 0 169408204 969502720 192550 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192550 1400 291 0 228229 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770200 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 884889
/proc/meminfo: memFree=119856348/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770200 CPUtime=3152.6 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 131694 0 0 0 313528 1732 0 0 20 0 1 0 169408204 969502720 192550 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192550 1400 291 0 228229 0
Current children cumulated CPU time: 3152.6 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770200 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 884904
/proc/meminfo: memFree=119843716/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770200 CPUtime=3212.42 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 131823 0 0 0 319471 1771 0 0 20 0 1 0 169408204 969502720 192550 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192550 1400 291 0 228229 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770200 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 884915
/proc/meminfo: memFree=119837284/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770200 CPUtime=3272.22 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 132003 0 0 0 325424 1798 0 0 20 0 1 0 169408204 969502720 192550 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192550 1400 291 0 228229 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770200 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 884925
/proc/meminfo: memFree=119836644/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770204 CPUtime=3332.04 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 132178 0 0 0 331372 1832 0 0 20 0 1 0 169408204 969502720 192551 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192551 1400 291 0 228229 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/257 884937
/proc/meminfo: memFree=119835904/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770204 CPUtime=3391.86 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 132330 0 0 0 337323 1863 0 0 20 0 1 0 169408204 969502720 192551 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192551 1400 291 0 228229 0
Current children cumulated CPU time: 3391.86 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 884948
/proc/meminfo: memFree=119832532/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946780 memory=770216 CPUtime=3451.67 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 132518 0 0 0 343282 1885 0 0 20 0 1 0 169408204 969502720 192554 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236695 192554 1400 291 0 228229 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 946780 KiB
Current children cumulated memory: 770216 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 885341
/proc/meminfo: memFree=119809688/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946960 memory=770420 CPUtime=3511.48 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 132733 0 0 0 349232 1916 0 0 20 0 1 0 169408204 969687040 192605 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236740 192605 1400 291 0 228274 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 946960 KiB
Current children cumulated memory: 770420 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 885352
/proc/meminfo: memFree=119779428/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946960 memory=770420 CPUtime=3571.29 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 132894 0 0 0 355185 1944 0 0 20 0 1 0 169408204 969687040 192605 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236740 192605 1400 291 0 228274 0
Current children cumulated CPU time: 3571.29 s
Current children cumulated vsize: 946960 KiB
Current children cumulated memory: 770420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 3.96 4.07 4.08 4/250 885387
/proc/meminfo: memFree=124837716/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946960 memory=770420 CPUtime=3600.01 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 133033 0 0 0 358044 1957 0 0 20 0 1 0 169408204 969687040 192605 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236740 192605 1400 291 0 228274 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 946960 KiB
Current children cumulated memory: 770420 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.45 s, system=19.5878 s

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

[startup+3611.11 s]
/proc/loadavg: 3.96 4.07 4.08 4/250 885387
/proc/meminfo: memFree=124837716/131524600 swapFree=131071996/131071996
[pid=882956] ppid=882953 vsize=946960 memory=770420 CPUtime=3600.01 cores=5,7
/proc/882956/stat : 882956 (pb-oll-rs) R 882953 882956 878123 0 -1 4194304 133033 0 0 0 358044 1957 0 0 20 0 1 0 169408204 969687040 192605 134679101440 4194304 5384005 140721244409136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 9568256 140721244410903 140721244410980 140721244410980 140721244417995 0
/proc/882956/statm: 236740 192605 1400 291 0 228274 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 946960 KiB
Current children cumulated memory: 770420 KiB

Child status: 0

Real time (s): 3611.13
CPU time (s): 3600.04
CPU user time (s): 3580.45
CPU system time (s): 19.5878
CPU usage (%): 99.693
Max. virtual memory (cumulated for all children) (KiB): 947204
Max. memory (cumulated for all children) (KiB): 770424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.45
system time used= 19.5878
maximum resident set size= 770424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133049
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= 110
involuntary context switches= 2697


# summary of solver processes directly reported to runsolver:
#   pid: 882956
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3580.45
#   total CPU system time (s): 19.5878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.5265 second user time and 16.8413 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-17 01:27:13
IDJOB=4436160
IDBENCH=158621
IDSOLVER=3067
FILE ID=nodeC026/4436160-1721172420
RUNJOBID= nodeC026-1721165209-878136
SLURM_JOB_ID= 7505787
Free space on /tmp= 890072 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436160-1721172420/watcher-4436160-1721172420 -o /tmp/evaluation-result-4436160-1721172420/solver-4436160-1721172420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878136 --watchdog 3760  pb-oll-rs HOME/instance-4436160-1721172420.opb

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

MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1001380814

nodeC026.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	: 0xb00002a
cpu MHz		: 3670.739
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3682.016
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.997
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.159
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.815
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.483
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.140
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.705
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126656700 kB
MemAvailable:   127749740 kB
Buffers:          447044 kB
Cached:          1476740 kB
SwapCached:            0 kB
Active:           835708 kB
Inactive:        3417404 kB
Active(anon):       1548 kB
Inactive(anon):  2365544 kB
Active(file):     834160 kB
Inactive(file):  1051860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6040 kB
Writeback:             0 kB
AnonPages:       2326060 kB
Mapped:           108824 kB
Shmem:             37720 kB
KReclaimable:      93688 kB
Slab:             201720 kB
SReclaimable:      93688 kB
SUnreclaim:       108032 kB
KernelStack:        4176 kB
PageTables:        14008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2989772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64256 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2076672 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:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC026 at 2024-07-17 02:27:24