Trace number 4435962

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-02OPT18 2070.22 2075.96

DiagnosticValue
AM1LB0
LOWERBOUND18
NAM1S0
NCORES12
NEXHAUSTED1
NPBCORES0
NPBREFORM0
NTRIMMED1

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMbeae51edba02eeda3c8007d8306fd545
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark16.5068
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.04	c [STEP] solving
0.00/0.04	c #variables 4318 #constraints 15120
0.00/0.04	c SMALL=int, LARGE=long long
0.00/0.04	c bounds - >= 5 @ 0.020087
0.00/0.04	c stratification level: 0
0.00/0.09	c bounds - >= 6 @ 0.061587
0.00/0.09	c bounds - >= 7 @ 0.062556
0.00/0.09	c bounds - >= 8 @ 0.062629
0.00/0.09	c bounds - >= 9 @ 0.062918
0.00/0.09	c bounds - >= 10 @ 0.063302
0.00/0.09	c bounds - >= 11 @ 0.063976
0.00/0.09	c finalizing WCE round: reformulating cores
2.48/2.56	c #Conflicts:       1000 | #Constraints:      16135
2.48/2.56	c #Conflicts:       2000 | #Constraints:      17137
2.48/2.56	c INPROCESSING
2.48/2.56	c GARBAGE COLLECT
2.48/2.56	c #Conflicts:       3000 | #Constraints:      17135
2.48/2.56	c #Conflicts:       4000 | #Constraints:      18137
2.48/2.56	c INPROCESSING
2.48/2.56	c GARBAGE COLLECT
2.48/2.56	c #Conflicts:       5000 | #Constraints:      17547
2.48/2.56	c bounds 25 >= 11 @ 2.32091
2.48/2.56	c bounds 25 >= 12 @ 2.34714
2.48/2.56	c bounds 25 >= 13 @ 2.42701
2.48/2.56	c finalizing WCE round: reformulating cores
266.87/267.76	c #Conflicts:       6000 | #Constraints:      18567
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:       7000 | #Constraints:      17561
266.87/267.76	c bounds 24 >= 13 @ 3.46241
266.87/267.76	c bounds 23 >= 14 @ 3.52361
266.87/267.76	c #Conflicts:       8000 | #Constraints:      18566
266.87/267.76	c #Conflicts:       9000 | #Constraints:      19566
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      10000 | #Constraints:      18283
266.87/267.76	c bounds 23 >= 15 @ 10.2897
266.87/267.76	c #Conflicts:      11000 | #Constraints:      19299
266.87/267.76	c #Conflicts:      12000 | #Constraints:      20299
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      13000 | #Constraints:      18763
266.87/267.76	c #Conflicts:      14000 | #Constraints:      19763
266.87/267.76	c #Conflicts:      15000 | #Constraints:      20763
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      16000 | #Constraints:      19016
266.87/267.76	c #Conflicts:      17000 | #Constraints:      20016
266.87/267.76	c #Conflicts:      18000 | #Constraints:      21016
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      19000 | #Constraints:      19091
266.87/267.76	c #Conflicts:      20000 | #Constraints:      20091
266.87/267.76	c #Conflicts:      21000 | #Constraints:      21091
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      22000 | #Constraints:      18891
266.87/267.76	c #Conflicts:      23000 | #Constraints:      19891
266.87/267.76	c #Conflicts:      24000 | #Constraints:      20891
266.87/267.76	c #Conflicts:      25000 | #Constraints:      21891
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      26000 | #Constraints:      19503
266.87/267.76	c #Conflicts:      27000 | #Constraints:      20503
266.87/267.76	c #Conflicts:      28000 | #Constraints:      21503
266.87/267.76	c #Conflicts:      29000 | #Constraints:      22503
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      30000 | #Constraints:      19925
266.87/267.76	c #Conflicts:      31000 | #Constraints:      20925
266.87/267.76	c #Conflicts:      32000 | #Constraints:      21925
266.87/267.76	c #Conflicts:      33000 | #Constraints:      22925
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      34000 | #Constraints:      20158
266.87/267.76	c #Conflicts:      35000 | #Constraints:      21158
266.87/267.76	c #Conflicts:      36000 | #Constraints:      22158
266.87/267.76	c #Conflicts:      37000 | #Constraints:      23158
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      38000 | #Constraints:      20220
266.87/267.76	c #Conflicts:      39000 | #Constraints:      21220
266.87/267.76	c #Conflicts:      40000 | #Constraints:      22220
266.87/267.76	c #Conflicts:      41000 | #Constraints:      23220
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      42000 | #Constraints:      20048
266.87/267.76	c #Conflicts:      43000 | #Constraints:      21048
266.87/267.76	c #Conflicts:      44000 | #Constraints:      22048
266.87/267.76	c #Conflicts:      45000 | #Constraints:      23048
266.87/267.76	c #Conflicts:      46000 | #Constraints:      24048
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      47000 | #Constraints:      20656
266.87/267.76	c #Conflicts:      48000 | #Constraints:      21656
266.87/267.76	c #Conflicts:      49000 | #Constraints:      22656
266.87/267.76	c #Conflicts:      50000 | #Constraints:      23656
266.87/267.76	c #Conflicts:      51000 | #Constraints:      24656
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      52000 | #Constraints:      21032
266.87/267.76	c #Conflicts:      53000 | #Constraints:      22032
266.87/267.76	c #Conflicts:      54000 | #Constraints:      23032
266.87/267.76	c #Conflicts:      55000 | #Constraints:      24032
266.87/267.76	c #Conflicts:      56000 | #Constraints:      25032
266.87/267.76	c INPROCESSING
266.87/267.76	c GARBAGE COLLECT
266.87/267.76	c #Conflicts:      57000 | #Constraints:      21283
266.87/267.76	c #Conflicts:      58000 | #Constraints:      22283
266.87/267.76	c #Conflicts:      59000 | #Constraints:      23283
266.87/267.76	c bounds 23 >= 16 @ 262.606
266.87/267.76	c #Conflicts:      60000 | #Constraints:      24308
266.87/267.76	c finalizing WCE round: reformulating cores
327.30/328.31	c #Conflicts:      61000 | #Constraints:      25311
327.30/328.31	c INPROCESSING
327.30/328.31	c GARBAGE COLLECT
327.30/328.31	c #Conflicts:      62000 | #Constraints:      21265
327.30/328.31	c bounds 22 >= 16 @ 269.556
327.30/328.31	c #Conflicts:      63000 | #Constraints:      22265
327.30/328.31	c #Conflicts:      64000 | #Constraints:      23265
327.30/328.31	c #Conflicts:      65000 | #Constraints:      24265
327.30/328.31	c #Conflicts:      66000 | #Constraints:      25265
327.30/328.31	c INPROCESSING
327.30/328.31	c GARBAGE COLLECT
327.30/328.31	c #Conflicts:      67000 | #Constraints:      21080
327.30/328.31	c #Conflicts:      68000 | #Constraints:      22080
327.30/328.31	c #Conflicts:      69000 | #Constraints:      23080
327.30/328.31	c #Conflicts:      70000 | #Constraints:      24080
327.30/328.31	c bounds 22 >= 17 @ 315.395
327.30/328.31	c #Conflicts:      71000 | #Constraints:      25099
327.30/328.31	c #Conflicts:      72000 | #Constraints:      26099
327.30/328.31	c INPROCESSING
327.30/328.31	c GARBAGE COLLECT
327.30/328.31	c #Conflicts:      73000 | #Constraints:      21692
327.30/328.31	c finalizing WCE round: reformulating cores
909.20/911.74	c bounds 19 >= 17 @ 327.407
909.20/911.74	c #Conflicts:      74000 | #Constraints:      22695
909.20/911.74	c #Conflicts:      75000 | #Constraints:      23695
909.20/911.74	c #Conflicts:      76000 | #Constraints:      24695
909.20/911.74	c #Conflicts:      77000 | #Constraints:      25695
909.20/911.74	c #Conflicts:      78000 | #Constraints:      26695
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:      79000 | #Constraints:      22111
909.20/911.74	c #Conflicts:      80000 | #Constraints:      23111
909.20/911.74	c #Conflicts:      81000 | #Constraints:      24111
909.20/911.74	c #Conflicts:      82000 | #Constraints:      25111
909.20/911.74	c #Conflicts:      83000 | #Constraints:      26111
909.20/911.74	c #Conflicts:      84000 | #Constraints:      27111
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:      85000 | #Constraints:      22217
909.20/911.74	c #Conflicts:      86000 | #Constraints:      23217
909.20/911.74	c #Conflicts:      87000 | #Constraints:      24217
909.20/911.74	c #Conflicts:      88000 | #Constraints:      25217
909.20/911.74	c #Conflicts:      89000 | #Constraints:      26217
909.20/911.74	c #Conflicts:      90000 | #Constraints:      27217
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:      91000 | #Constraints:      22268
909.20/911.74	c #Conflicts:      92000 | #Constraints:      23268
909.20/911.74	c #Conflicts:      93000 | #Constraints:      24268
909.20/911.74	c #Conflicts:      94000 | #Constraints:      25268
909.20/911.74	c #Conflicts:      95000 | #Constraints:      26268
909.20/911.74	c #Conflicts:      96000 | #Constraints:      27268
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:      97000 | #Constraints:      22180
909.20/911.74	c #Conflicts:      98000 | #Constraints:      23180
909.20/911.74	c #Conflicts:      99000 | #Constraints:      24180
909.20/911.74	c #Conflicts:     100000 | #Constraints:      25180
909.20/911.74	c #Conflicts:     101000 | #Constraints:      26180
909.20/911.74	c #Conflicts:     102000 | #Constraints:      27180
909.20/911.74	c #Conflicts:     103000 | #Constraints:      28180
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:     104000 | #Constraints:      22791
909.20/911.74	c #Conflicts:     105000 | #Constraints:      23791
909.20/911.74	c #Conflicts:     106000 | #Constraints:      24791
909.20/911.74	c #Conflicts:     107000 | #Constraints:      25791
909.20/911.74	c #Conflicts:     108000 | #Constraints:      26791
909.20/911.74	c #Conflicts:     109000 | #Constraints:      27791
909.20/911.74	c #Conflicts:     110000 | #Constraints:      28791
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:     111000 | #Constraints:      23156
909.20/911.74	c #Conflicts:     112000 | #Constraints:      24156
909.20/911.74	c #Conflicts:     113000 | #Constraints:      25156
909.20/911.74	c #Conflicts:     114000 | #Constraints:      26156
909.20/911.74	c #Conflicts:     115000 | #Constraints:      27156
909.20/911.74	c #Conflicts:     116000 | #Constraints:      28156
909.20/911.74	c #Conflicts:     117000 | #Constraints:      29156
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:     118000 | #Constraints:      23345
909.20/911.74	c #Conflicts:     119000 | #Constraints:      24345
909.20/911.74	c #Conflicts:     120000 | #Constraints:      25345
909.20/911.74	c #Conflicts:     121000 | #Constraints:      26345
909.20/911.74	c #Conflicts:     122000 | #Constraints:      27345
909.20/911.74	c #Conflicts:     123000 | #Constraints:      28345
909.20/911.74	c #Conflicts:     124000 | #Constraints:      29345
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:     125000 | #Constraints:      23378
909.20/911.74	c #Conflicts:     126000 | #Constraints:      24378
909.20/911.74	c #Conflicts:     127000 | #Constraints:      25378
909.20/911.74	c #Conflicts:     128000 | #Constraints:      26378
909.20/911.74	c #Conflicts:     129000 | #Constraints:      27378
909.20/911.74	c #Conflicts:     130000 | #Constraints:      28378
909.20/911.74	c #Conflicts:     131000 | #Constraints:      29378
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:     132000 | #Constraints:      23159
909.20/911.74	c #Conflicts:     133000 | #Constraints:      24159
909.20/911.74	c #Conflicts:     134000 | #Constraints:      25159
909.20/911.74	c #Conflicts:     135000 | #Constraints:      26159
909.20/911.74	c #Conflicts:     136000 | #Constraints:      27159
909.20/911.74	c #Conflicts:     137000 | #Constraints:      28159
909.20/911.74	c #Conflicts:     138000 | #Constraints:      29159
909.20/911.74	c #Conflicts:     139000 | #Constraints:      30159
909.20/911.74	c INPROCESSING
909.20/911.74	c GARBAGE COLLECT
909.20/911.74	c #Conflicts:     140000 | #Constraints:      23755
909.20/911.74	c #Conflicts:     141000 | #Constraints:      24755
909.20/911.74	c #Conflicts:     142000 | #Constraints:      25755
909.20/911.74	c #Conflicts:     143000 | #Constraints:      26755
909.20/911.74	c #Conflicts:     144000 | #Constraints:      27755
909.20/911.74	c #Conflicts:     145000 | #Constraints:      28755
1666.84/1671.52	c #Conflicts:     146000 | #Constraints:      29755
1666.84/1671.52	c #Conflicts:     147000 | #Constraints:      30755
1666.84/1671.52	c INPROCESSING
1666.84/1671.52	c GARBAGE COLLECT
1666.84/1671.52	c #Conflicts:     148000 | #Constraints:      24312
1666.84/1671.52	c #Conflicts:     149000 | #Constraints:      25312
1666.84/1671.52	c #Conflicts:     150000 | #Constraints:      26312
1666.84/1671.52	c #Conflicts:     151000 | #Constraints:      27312
1666.84/1671.52	c #Conflicts:     152000 | #Constraints:      28312
1666.84/1671.52	c #Conflicts:     153000 | #Constraints:      29312
1666.84/1671.52	c #Conflicts:     154000 | #Constraints:      30312
1666.84/1671.52	c #Conflicts:     155000 | #Constraints:      31312
1666.84/1671.52	c INPROCESSING
1666.84/1671.52	c GARBAGE COLLECT
1666.84/1671.52	c #Conflicts:     156000 | #Constraints:      24554
1666.84/1671.52	c #Conflicts:     157000 | #Constraints:      25554
1666.84/1671.52	c #Conflicts:     158000 | #Constraints:      26554
1666.84/1671.52	c #Conflicts:     159000 | #Constraints:      27554
1666.84/1671.52	c #Conflicts:     160000 | #Constraints:      28554
1666.84/1671.52	c #Conflicts:     161000 | #Constraints:      29554
1666.84/1671.52	c #Conflicts:     162000 | #Constraints:      30554
1666.84/1671.52	c #Conflicts:     163000 | #Constraints:      31554
1666.84/1671.52	c INPROCESSING
1666.84/1671.52	c GARBAGE COLLECT
1666.84/1671.52	c #Conflicts:     164000 | #Constraints:      24480
1666.84/1671.52	c #Conflicts:     165000 | #Constraints:      25480
1666.84/1671.52	c #Conflicts:     166000 | #Constraints:      26480
1666.84/1671.52	c #Conflicts:     167000 | #Constraints:      27480
1666.84/1671.52	c #Conflicts:     168000 | #Constraints:      28480
1666.84/1671.52	c #Conflicts:     169000 | #Constraints:      29480
1666.84/1671.52	c #Conflicts:     170000 | #Constraints:      30480
1666.84/1671.52	c #Conflicts:     171000 | #Constraints:      31480
1666.84/1671.52	c INPROCESSING
1666.84/1671.52	c GARBAGE COLLECT
1666.84/1671.52	c #Conflicts:     172000 | #Constraints:      24348
1666.84/1671.52	c #Conflicts:     173000 | #Constraints:      25348
1666.84/1671.52	c #Conflicts:     174000 | #Constraints:      26348
1666.84/1671.52	c #Conflicts:     175000 | #Constraints:      27348
1666.84/1671.52	c #Conflicts:     176000 | #Constraints:      28348
1666.84/1671.52	c #Conflicts:     177000 | #Constraints:      29348
1666.84/1671.52	c #Conflicts:     178000 | #Constraints:      30348
1666.84/1671.52	c #Conflicts:     179000 | #Constraints:      31348
1666.84/1671.52	c #Conflicts:     180000 | #Constraints:      32348
1666.84/1671.52	c INPROCESSING
1666.84/1671.52	c GARBAGE COLLECT
1666.84/1671.52	c #Conflicts:     181000 | #Constraints:      24876
1666.84/1671.52	c #Conflicts:     182000 | #Constraints:      25876
1666.84/1671.53	c #Conflicts:     183000 | #Constraints:      26876
1666.84/1671.53	c #Conflicts:     184000 | #Constraints:      27876
1666.84/1671.53	c #Conflicts:     185000 | #Constraints:      28876
1666.84/1671.53	c #Conflicts:     186000 | #Constraints:      29876
1666.84/1671.53	c #Conflicts:     187000 | #Constraints:      30876
1666.84/1671.53	c #Conflicts:     188000 | #Constraints:      31876
1666.84/1671.53	c #Conflicts:     189000 | #Constraints:      32876
1666.84/1671.53	c INPROCESSING
1666.84/1671.53	c GARBAGE COLLECT
1666.84/1671.53	c #Conflicts:     190000 | #Constraints:      25231
1666.84/1671.53	c #Conflicts:     191000 | #Constraints:      26231
1666.84/1671.53	c #Conflicts:     192000 | #Constraints:      27231
1666.84/1671.53	c #Conflicts:     193000 | #Constraints:      28231
1666.84/1671.53	c #Conflicts:     194000 | #Constraints:      29231
1666.84/1671.53	c #Conflicts:     195000 | #Constraints:      30231
1666.84/1671.53	c #Conflicts:     196000 | #Constraints:      31231
1666.84/1671.53	c #Conflicts:     197000 | #Constraints:      32231
1666.84/1671.53	c #Conflicts:     198000 | #Constraints:      33231
1666.84/1671.53	c INPROCESSING
1666.84/1671.53	c GARBAGE COLLECT
1666.84/1671.53	c #Conflicts:     199000 | #Constraints:      25516
1666.84/1671.53	c #Conflicts:     200000 | #Constraints:      26516
1666.84/1671.53	c #Conflicts:     201000 | #Constraints:      27516
1666.84/1671.53	c #Conflicts:     202000 | #Constraints:      28516
1666.84/1671.53	c #Conflicts:     203000 | #Constraints:      29516
1666.84/1671.53	c #Conflicts:     204000 | #Constraints:      30516
1666.84/1671.53	c #Conflicts:     205000 | #Constraints:      31516
1666.84/1671.53	c #Conflicts:     206000 | #Constraints:      32516
1666.84/1671.53	c #Conflicts:     207000 | #Constraints:      33516
1666.84/1671.53	c INPROCESSING
1666.84/1671.53	c GARBAGE COLLECT
1666.84/1671.53	c #Conflicts:     208000 | #Constraints:      25456
1666.84/1671.53	c #Conflicts:     209000 | #Constraints:      26456
1666.84/1671.53	c #Conflicts:     210000 | #Constraints:      27456
1666.84/1671.53	c #Conflicts:     211000 | #Constraints:      28456
1666.84/1671.53	c #Conflicts:     212000 | #Constraints:      29456
1666.84/1671.53	c #Conflicts:     213000 | #Constraints:      30456
1666.84/1671.53	c #Conflicts:     214000 | #Constraints:      31456
1666.84/1671.53	c #Conflicts:     215000 | #Constraints:      32456
1666.84/1671.53	c #Conflicts:     216000 | #Constraints:      33456
1666.84/1671.53	c INPROCESSING
1666.84/1671.53	c GARBAGE COLLECT
1666.84/1671.53	c #Conflicts:     217000 | #Constraints:      25498
1666.84/1671.53	c #Conflicts:     218000 | #Constraints:      26498
2070.14/2075.94	c #Conflicts:     219000 | #Constraints:      27498
2070.14/2075.94	c #Conflicts:     220000 | #Constraints:      28498
2070.14/2075.94	c #Conflicts:     221000 | #Constraints:      29498
2070.14/2075.94	c #Conflicts:     222000 | #Constraints:      30498
2070.14/2075.94	c #Conflicts:     223000 | #Constraints:      31498
2070.14/2075.94	c #Conflicts:     224000 | #Constraints:      32498
2070.14/2075.94	c #Conflicts:     225000 | #Constraints:      33498
2070.14/2075.94	c #Conflicts:     226000 | #Constraints:      34498
2070.14/2075.94	c INPROCESSING
2070.14/2075.94	c GARBAGE COLLECT
2070.14/2075.94	c #Conflicts:     227000 | #Constraints:      26086
2070.14/2075.94	c #Conflicts:     228000 | #Constraints:      27086
2070.14/2075.94	c #Conflicts:     229000 | #Constraints:      28086
2070.14/2075.94	c #Conflicts:     230000 | #Constraints:      29086
2070.14/2075.94	c #Conflicts:     231000 | #Constraints:      30086
2070.14/2075.94	c #Conflicts:     232000 | #Constraints:      31086
2070.14/2075.94	c #Conflicts:     233000 | #Constraints:      32086
2070.14/2075.94	c #Conflicts:     234000 | #Constraints:      33086
2070.14/2075.94	c #Conflicts:     235000 | #Constraints:      34086
2070.14/2075.94	c #Conflicts:     236000 | #Constraints:      35086
2070.14/2075.94	c INPROCESSING
2070.14/2075.94	c GARBAGE COLLECT
2070.14/2075.94	c #Conflicts:     237000 | #Constraints:      26533
2070.14/2075.94	c #Conflicts:     238000 | #Constraints:      27533
2070.14/2075.94	c #Conflicts:     239000 | #Constraints:      28533
2070.14/2075.94	c #Conflicts:     240000 | #Constraints:      29533
2070.14/2075.94	c #Conflicts:     241000 | #Constraints:      30533
2070.14/2075.94	c #Conflicts:     242000 | #Constraints:      31533
2070.14/2075.94	c #Conflicts:     243000 | #Constraints:      32533
2070.14/2075.94	c #Conflicts:     244000 | #Constraints:      33533
2070.14/2075.94	c #Conflicts:     245000 | #Constraints:      34533
2070.14/2075.94	c #Conflicts:     246000 | #Constraints:      35533
2070.14/2075.94	c INPROCESSING
2070.14/2075.94	c GARBAGE COLLECT
2070.14/2075.94	c #Conflicts:     247000 | #Constraints:      26658
2070.14/2075.94	c #Conflicts:     248000 | #Constraints:      27658
2070.14/2075.94	c #Conflicts:     249000 | #Constraints:      28658
2070.14/2075.94	c #Conflicts:     250000 | #Constraints:      29658
2070.14/2075.94	c #Conflicts:     251000 | #Constraints:      30658
2070.14/2075.94	c #Conflicts:     252000 | #Constraints:      31658
2070.14/2075.94	c #Conflicts:     253000 | #Constraints:      32658
2070.14/2075.94	c #Conflicts:     254000 | #Constraints:      33658
2070.14/2075.94	c #Conflicts:     255000 | #Constraints:      34658
2070.14/2075.94	c bounds 19 >= 18 @ 2037.91
2070.14/2075.94	c #Conflicts:     256000 | #Constraints:      35689
2070.14/2075.94	c INPROCESSING
2070.14/2075.94	c GARBAGE COLLECT
2070.14/2075.94	c #Conflicts:     257000 | #Constraints:      26568
2070.14/2075.94	c #Conflicts:     258000 | #Constraints:      27568
2070.14/2075.94	c finalizing WCE round: reformulating cores
2070.14/2075.96	c bounds 18 >= 18 @ 2063.28
2070.14/2075.96	d SOLVEDBY oll
2070.14/2075.96	c cpu time 2063.28 s
2070.14/2075.96	c deterministic time 227853689483 2.28e+11
2070.14/2075.96	c optimization time 9.87515 s
2070.14/2075.96	c total solve time 2053.38 s
2070.14/2075.96	c core-guided solve time 2053.38 s
2070.14/2075.96	c propagation time 1634.58 s
2070.14/2075.96	c conflict analysis time 413.125 s
2070.14/2075.96	c propagations 247149324
2070.14/2075.96	c resolve steps 26123355
2070.14/2075.96	c decisions 5636771
2070.14/2075.96	c conflicts 258981
2070.14/2075.96	c restarts 612
2070.14/2075.96	c inprocessing phases 42
2070.14/2075.96	c input clauses 15155
2070.14/2075.96	c input cardinalities 65
2070.14/2075.96	c input general constraints 47
2070.14/2075.96	c input average constraint length 3.44
2070.14/2075.96	c input average constraint degree 1.39
2070.14/2075.96	c learned clauses 68947
2070.14/2075.96	c learned cardinalities 1260
2070.14/2075.96	c learned general constraints 188776
2070.14/2075.96	c learned average constraint length 860.15
2070.14/2075.96	c learned average constraint degree 23807450.13
2070.14/2075.96	c watched constraints 146672
2070.14/2075.96	c counting constraints 42151
2070.14/2075.96	c gcd simplifications 1235
2070.14/2075.96	c detected cardinalities 2
2070.14/2075.96	c weakened non-implied lits 7513037
2070.14/2075.96	c weakened non-implying lits 36713
2070.14/2075.96	c original variables 4318
2070.14/2075.96	c clausal propagations 194769856
2070.14/2075.96	c cardinality propagations 387421
2070.14/2075.96	c watched propagations 6506746
2070.14/2075.96	c counting propagations 45118499
2070.14/2075.96	c watch lookups 35472324248
2070.14/2075.96	c watch backjump lookups 31098637171
2070.14/2075.96	c watch checks 147635616007
2070.14/2075.96	c propagation checks 12205401119
2070.14/2075.96	c constraint additions 935879773
2070.14/2075.96	c trail pops 253045069
2070.14/2075.96	c formula constraints 15120
2070.14/2075.96	c learned constraints 258983
2070.14/2075.96	c bound constraints 18
2070.14/2075.96	c core-guided constraints 129
2070.14/2075.96	c encountered formula constraints 21227932
2070.14/2075.96	c encountered learned constraints 5098356
2070.14/2075.96	c encountered bound constraints 95
2070.14/2075.96	c encountered core-guided constraints 55952
2070.14/2075.96	c LP total time 0 s
2070.14/2075.96	c LP solve time 0 s
2070.14/2075.96	c LP constraints added 0
2070.14/2075.96	c LP constraints removed 0
2070.14/2075.96	c LP pivots internal 0
2070.14/2075.96	c LP pivots root 0
2070.14/2075.96	c LP calls 0
2070.14/2075.96	c LP optimalities 0
2070.14/2075.96	c LP no pivot count 0
2070.14/2075.96	c LP infeasibilities 0
2070.14/2075.96	c LP valid Farkas constraints 0
2070.14/2075.96	c LP learned Farkas constraints 0
2070.14/2075.96	c LP basis resets 0
2070.14/2075.96	c LP cycling count 0
2070.14/2075.96	c LP singular count 0
2070.14/2075.96	c LP no primal count 0
2070.14/2075.96	c LP no farkas count 0
2070.14/2075.96	c LP other issue count 0
2070.14/2075.96	c LP Gomory cuts 0
2070.14/2075.96	c LP learned cuts 0
2070.14/2075.96	c LP deleted cuts 0
2070.14/2075.96	c LP encountered Gomory constraints 0
2070.14/2075.96	c LP encountered Farkas constraints 0
2070.14/2075.96	c LP encountered learned Farkas constraints 0
2070.14/2075.96	c CG auxiliary variables introduced 47
2070.14/2075.96	c CG solutions found 5
2070.14/2075.96	c CG cores constructed 12
2070.14/2075.96	c CG core cardinality constraints returned 0
2070.14/2075.96	c CG unit cores 0
2070.14/2075.96	c CG single cores 12
2070.14/2075.96	c CG blocks removed during cardinality reduction 0
2070.14/2075.96	c CG first core best 0
2070.14/2075.96	c CG decision core best 0
2070.14/2075.96	c CG core reduction tie 0
2070.14/2075.96	c CG core degree average 1.00
2070.14/2075.96	c CG core slack average 42.25
2070.14/2075.96	c CG exhausted 1
2070.14/2075.96	c CG exhaust time 9.85004 s
2070.14/2075.96	c CG trimmed 1
2070.14/2075.96	c CG trim time 0.007542 s
2070.14/2075.96	c CG minimized 0
2070.14/2075.96	c CG minimize time 0 s
2070.14/2075.96	c CG am1 prop time 0.006878 s
2070.14/2075.96	c CG # am1s reformulated 0
2070.14/2075.96	c CG lower bound derived from am1s 0
2070.14/2075.96	c CG # clausal cores 12
2070.14/2075.96	c CG # cardinality cores 0
2070.14/2075.96	c CG # pb cores 0
2070.14/2075.96	c CG # pb reforms 0
2070.14/2075.96	c CG # cores discarded because of pb reform 0
2070.14/2075.96	d LOWERBOUND 18
2070.14/2075.96	d NCORES 12
2070.14/2075.96	d NPBCORES 0
2070.14/2075.96	d NPBREFORM 0
2070.14/2075.96	d NTRIMMED 1
2070.14/2075.96	d NEXHAUSTED 1
2070.14/2075.96	d NAM1S 0
2070.14/2075.96	d AM1LB 0
2070.14/2075.96	o 18
2070.14/2075.96	s OPTIMUM FOUND
2070.14/2075.96	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

Verifier Data 

OK	18

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (63019 MiB free)
  memory of node 1: 64510 MiB (62727 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435962-1721109793/watcher-4435962-1721109793 -o /tmp/evaluation-result-4435962-1721109793/solver-4435962-1721109793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829787 --watchdog 3760 pb-oll-rs HOME/instance-4435962-1721109793.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=834343, runsolver pid=834340

[startup+0.1001 s]*
/proc/loadavg: 4.14 4.15 4.17 5/244 834344
/proc/meminfo: memFree=128760568/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=41864 memory=9064 CPUtime=0.1 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 1143 0 0 0 8 2 0 0 20 0 1 0 163135462 42868736 2266 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 10466 2266 1373 291 0 2000 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 9064 KiB

[startup+0.213049 s]*
/proc/loadavg: 4.14 4.15 4.17 5/244 834345
/proc/meminfo: memFree=128756980/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=42920 memory=12428 CPUtime=0.21 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 1440 0 0 0 19 2 0 0 20 0 1 0 163135462 43950080 3107 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 10730 3107 1373 291 0 2264 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 12428 KiB

[startup+0.312893 s]*
/proc/loadavg: 4.14 4.15 4.17 5/244 834345
/proc/meminfo: memFree=128755516/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=44112 memory=13748 CPUtime=0.32 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 1808 0 0 0 29 3 0 0 20 0 1 0 163135462 45170688 3437 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 11028 3437 1373 291 0 2562 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 44112 KiB
Current children cumulated memory: 13748 KiB

[startup+0.700334 s]
/proc/loadavg: 4.14 4.15 4.17 5/244 834345
/proc/meminfo: memFree=128752016/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=49132 memory=18792 CPUtime=0.69 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 3050 0 0 0 65 4 0 0 20 0 1 0 163135462 50311168 4698 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 12283 4698 1373 291 0 3817 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49132 KiB
Current children cumulated memory: 18792 KiB

[startup+1.50034 s]
/proc/loadavg: 4.14 4.15 4.17 5/244 834345
/proc/meminfo: memFree=128748628/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=55076 memory=21612 CPUtime=1.49 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 3743 0 0 0 144 5 0 0 20 0 1 0 163135462 56397824 5403 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 13769 5403 1421 291 0 5303 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55076 KiB
Current children cumulated memory: 21612 KiB

[startup+3.11282 s]
/proc/loadavg: 4.13 4.14 4.17 5/244 834345
/proc/meminfo: memFree=128739604/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=58732 memory=29392 CPUtime=3.1 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 4717 0 0 0 301 9 0 0 20 0 1 0 163135462 60141568 7348 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 14683 7348 1421 291 0 6217 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 58732 KiB
Current children cumulated memory: 29392 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.14 4.17 5/243 834345
/proc/meminfo: memFree=128732228/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=69624 memory=36976 CPUtime=6.28 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 6165 0 0 0 615 13 0 0 20 0 1 0 163135462 71294976 9244 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 17406 9244 1421 291 0 8940 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 69624 KiB
Current children cumulated memory: 36976 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 834347
/proc/meminfo: memFree=128718336/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=84988 memory=46496 CPUtime=12.66 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 7550 0 0 0 1244 22 0 0 20 0 1 0 163135462 87027712 11624 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 21247 11624 1421 291 0 12781 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 84988 KiB
Current children cumulated memory: 46496 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.13 4.16 5/243 834348
/proc/meminfo: memFree=128692444/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=91196 memory=51704 CPUtime=25.43 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 8934 0 0 0 2508 35 0 0 20 0 1 0 163135462 93384704 12926 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 22799 12926 1421 291 0 14333 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 91196 KiB
Current children cumulated memory: 51704 KiB

[startup+51.1128 s]
/proc/loadavg: 4.26 4.17 4.17 5/243 834399
/proc/meminfo: memFree=128688500/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=119932 memory=69816 CPUtime=50.96 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 11449 0 0 0 5046 50 0 0 20 0 1 0 163135462 122810368 17454 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 29983 17454 1421 291 0 21517 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 119932 KiB
Current children cumulated memory: 69816 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/243 834453
/proc/meminfo: memFree=128516204/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=125816 memory=82760 CPUtime=101.99 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 13277 0 0 0 10119 80 0 0 20 0 1 0 163135462 128835584 20690 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 31454 20690 1421 291 0 22988 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 125816 KiB
Current children cumulated memory: 82760 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/242 834464
/proc/meminfo: memFree=128449296/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=129260 memory=86116 CPUtime=161.8 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 14211 0 0 0 16061 119 0 0 20 0 1 0 163135462 132362240 21529 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 32315 21529 1421 291 0 23849 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 129260 KiB
Current children cumulated memory: 86116 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/242 834475
/proc/meminfo: memFree=128408368/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=132016 memory=88620 CPUtime=221.62 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 14915 0 0 0 22009 153 0 0 20 0 1 0 163135462 135184384 22155 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 33004 22155 1421 291 0 24538 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 132016 KiB
Current children cumulated memory: 88620 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/242 834485
/proc/meminfo: memFree=128341224/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=135784 memory=96476 CPUtime=281.42 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 15750 0 0 0 27955 187 0 0 20 0 1 0 163135462 139042816 24119 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 33946 24119 1421 291 0 25480 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 135784 KiB
Current children cumulated memory: 96476 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/241 834496
/proc/meminfo: memFree=128316188/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=137852 memory=99920 CPUtime=341.26 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 16299 0 0 0 33913 213 0 0 20 0 1 0 163135462 141160448 24980 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 34463 24980 1421 291 0 25997 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 137852 KiB
Current children cumulated memory: 99920 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/241 834506
/proc/meminfo: memFree=128221500/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=139680 memory=101456 CPUtime=401.12 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 16943 0 0 0 39875 237 0 0 20 0 1 0 163135462 143032320 25364 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 34920 25364 1421 291 0 26454 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 139680 KiB
Current children cumulated memory: 101456 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/243 834520
/proc/meminfo: memFree=128157476/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=140336 memory=104080 CPUtime=460.97 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 17247 0 0 0 45838 259 0 0 20 0 1 0 163135462 143704064 26020 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 35084 26020 1421 291 0 26618 0

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

/proc/loadavg: 4.15 4.12 4.09 5/246 835356
/proc/meminfo: memFree=127455228/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=194744 memory=157436 CPUtime=1717.5 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 25236 0 0 0 171128 622 0 0 20 0 1 0 163135462 199417856 39359 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 48686 39359 1421 291 0 40220 0
Current children cumulated CPU time: 1717.5 s
Current children cumulated vsize: 194744 KiB
Current children cumulated memory: 157436 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/246 835367
/proc/meminfo: memFree=127439968/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=196756 memory=158732 CPUtime=1777.32 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 25736 0 0 0 177099 633 0 0 20 0 1 0 163135462 201478144 39683 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49189 39683 1421 291 0 40723 0
Current children cumulated CPU time: 1777.32 s
Current children cumulated vsize: 196756 KiB
Current children cumulated memory: 158732 KiB

[startup+1842.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 835377
/proc/meminfo: memFree=127426836/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=196756 memory=158732 CPUtime=1837.16 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 25812 0 0 0 183071 645 0 0 20 0 1 0 163135462 201478144 39683 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49189 39683 1421 291 0 40723 0
Current children cumulated CPU time: 1837.16 s
Current children cumulated vsize: 196756 KiB
Current children cumulated memory: 158732 KiB

[startup+1902.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/244 835388
/proc/meminfo: memFree=127408596/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=197368 memory=159208 CPUtime=1896.97 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26110 0 0 0 189039 658 0 0 20 0 1 0 163135462 202104832 39802 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49342 39802 1421 291 0 40876 0
Current children cumulated CPU time: 1896.97 s
Current children cumulated vsize: 197368 KiB
Current children cumulated memory: 159208 KiB

[startup+1962.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/241 835399
/proc/meminfo: memFree=127395716/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=198036 memory=163160 CPUtime=1956.83 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26274 0 0 0 195013 670 0 0 20 0 1 0 163135462 202788864 40790 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49509 40790 1421 291 0 41043 0
Current children cumulated CPU time: 1956.83 s
Current children cumulated vsize: 198036 KiB
Current children cumulated memory: 163160 KiB

[startup+2022.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/241 835409
/proc/meminfo: memFree=127377852/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199132 memory=164016 CPUtime=2016.67 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26645 0 0 0 200986 681 0 0 20 0 1 0 163135462 203911168 41004 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49783 41004 1421 291 0 41317 0
Current children cumulated CPU time: 2016.67 s
Current children cumulated vsize: 199132 KiB
Current children cumulated memory: 164016 KiB

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

# cumulated CPU time of all completed processes:  user=2063.28 s, system=6.94008 s

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

[startup+2048 s]*
/proc/loadavg: 4.10 4.11 4.09 5/241 835413
/proc/meminfo: memFree=127372784/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199132 memory=164016 CPUtime=2042.32 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26653 0 0 0 203547 685 0 0 20 0 1 0 163135462 203911168 41004 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49783 41004 1421 291 0 41317 0
Current children cumulated CPU time: 2042.32 s
Current children cumulated vsize: 199132 KiB
Current children cumulated memory: 164016 KiB

[startup+2060.8 s]
/proc/loadavg: 4.08 4.11 4.09 6/241 835415
/proc/meminfo: memFree=127361656/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199700 memory=164248 CPUtime=2055.08 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26723 0 0 0 204820 688 0 0 20 0 1 0 163135462 204492800 41062 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49925 41062 1421 291 0 41459 0
Current children cumulated CPU time: 2055.08 s
Current children cumulated vsize: 199700 KiB
Current children cumulated memory: 164248 KiB

[startup+2067.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 835416
/proc/meminfo: memFree=127359620/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199772 memory=164480 CPUtime=2061.47 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26893 0 0 0 205458 689 0 0 20 0 1 0 163135462 204566528 41120 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49943 41120 1421 291 0 41477 0
Current children cumulated CPU time: 2061.47 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 164480 KiB

[startup+2070.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 835416
/proc/meminfo: memFree=127356084/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199772 memory=164480 CPUtime=2064.66 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26942 0 0 0 205775 691 0 0 20 0 1 0 163135462 204566528 41120 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49943 41120 1421 291 0 41477 0
Current children cumulated CPU time: 2064.66 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 164480 KiB

[startup+2073.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 835418
/proc/meminfo: memFree=127356188/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199772 memory=164480 CPUtime=2067.85 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26943 0 0 0 206093 692 0 0 20 0 1 0 163135462 204566528 41120 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49943 41120 1421 291 0 41477 0
Current children cumulated CPU time: 2067.85 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 164480 KiB

[startup+2075.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 835418
/proc/meminfo: memFree=127355852/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199772 memory=164480 CPUtime=2069.45 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26944 0 0 0 206252 693 0 0 20 0 1 0 163135462 204566528 41120 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49943 41120 1421 291 0 41477 0
Current children cumulated CPU time: 2069.45 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 164480 KiB

[startup+2075.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 835418
/proc/meminfo: memFree=127355852/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199772 memory=164480 CPUtime=2069.84 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26945 0 0 0 206291 693 0 0 20 0 1 0 163135462 204566528 41120 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49943 41120 1421 291 0 41477 0
Current children cumulated CPU time: 2069.84 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 164480 KiB

[startup+2075.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 835418
/proc/meminfo: memFree=127355852/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199772 memory=164480 CPUtime=2070.04 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26945 0 0 0 206311 693 0 0 20 0 1 0 163135462 204566528 41120 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49943 41120 1421 291 0 41477 0
Current children cumulated CPU time: 2070.04 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 164480 KiB

[startup+2075.9 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 835418
/proc/meminfo: memFree=127355852/131655788 swapFree=131071996/131071996
[pid=834343] ppid=834340 vsize=199772 memory=164480 CPUtime=2070.14 cores=5,7
/proc/834343/stat : 834343 (pb-oll-rs) R 834340 834343 829774 0 -1 4194304 26945 0 0 0 206321 693 0 0 20 0 1 0 163135462 204566528 41120 134679101440 4194304 5384005 140735280707808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17866752 140735280714775 140735280714852 140735280714852 140735280721867 0
/proc/834343/statm: 49943 41120 1421 291 0 41477 0
Current children cumulated CPU time: 2070.14 s
Current children cumulated vsize: 199772 KiB
Current children cumulated memory: 164480 KiB

Child status: 0

Real time (s): 2075.96
CPU time (s): 2070.22
CPU user time (s): 2063.28
CPU system time (s): 6.94008
CPU usage (%): 99.7232
Max. virtual memory (cumulated for all children) (KiB): 199772
Max. memory (cumulated for all children) (KiB): 164480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2063.28
system time used= 6.94008
maximum resident set size= 164772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26959
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= 73
involuntary context switches= 1226


# summary of solver processes directly reported to runsolver:
#   pid: 834343
#   total CPU time (s): 2070.22
#   total CPU user time (s): 2063.28
#   total CPU system time (s): 6.94008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1754 second user time and 19.6178 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-16 08:03:26
IDJOB=4435962
IDBENCH=148191
IDSOLVER=3067
FILE ID=nodeC003/4435962-1721109793
RUNJOBID= nodeC003-1721102552-829787
SLURM_JOB_ID= 7505615
Free space on /tmp= 723764 MiB

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

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=466253082

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128764728 kB
MemAvailable:   129675000 kB
Buffers:          407084 kB
Cached:          1337212 kB
SwapCached:            0 kB
Active:           641524 kB
Inactive:        1708596 kB
Active(anon):       1476 kB
Inactive(anon):   642044 kB
Active(file):     640048 kB
Inactive(file):  1066552 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2660 kB
Writeback:             0 kB
AnonPages:        605516 kB
Mapped:           108176 kB
Shmem:             37704 kB
KReclaimable:      87408 kB
Slab:             183256 kB
SReclaimable:      87408 kB
SUnreclaim:        95848 kB
KernelStack:        4000 kB
PageTables:        10416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1101328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52000 kB
HardwareCorrupted:     0 kB
AnonHugePages:    446464 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      228168 kB
DirectMap2M:    14356480 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC003 at 2024-07-16 08:38:02