Trace number 4485822

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs-2024 2025-05-06? (TO) 3600.08 3611.3

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
MD5SUMf6174806ed62bf92db0e2ac6f71348b5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1210.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7994
Total number of constraints420
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 68719476658
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.08/0.12	c [STEP] solving
0.08/0.12	c #variables 7994 #constraints 560
0.08/0.12	c SMALL=long long, LARGE=int128
0.08/0.12	c bounds - >= -68719476658 @ 0.088377
0.08/0.12	c stratification level: 2684354560
141.49/142.12	c #Conflicts:       1000 | #Constraints:       1559
141.49/142.12	c #Conflicts:       2000 | #Constraints:       2559
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:       3000 | #Constraints:       2566
141.49/142.12	c #Conflicts:       4000 | #Constraints:       3566
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:       5000 | #Constraints:       2969
141.49/142.12	c #Conflicts:       6000 | #Constraints:       3969
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:       7000 | #Constraints:       2975
141.49/142.12	c #Conflicts:       8000 | #Constraints:       3975
141.49/142.12	c #Conflicts:       9000 | #Constraints:       4975
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      10000 | #Constraints:       3677
141.49/142.12	c #Conflicts:      11000 | #Constraints:       4677
141.49/142.12	c #Conflicts:      12000 | #Constraints:       5677
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      13000 | #Constraints:       4132
141.49/142.12	c #Conflicts:      14000 | #Constraints:       5132
141.49/142.12	c #Conflicts:      15000 | #Constraints:       6132
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      16000 | #Constraints:       4363
141.49/142.12	c #Conflicts:      17000 | #Constraints:       5363
141.49/142.12	c #Conflicts:      18000 | #Constraints:       6363
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      19000 | #Constraints:       4382
141.49/142.12	c #Conflicts:      20000 | #Constraints:       5382
141.49/142.12	c #Conflicts:      21000 | #Constraints:       6382
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      22000 | #Constraints:       4187
141.49/142.12	c #Conflicts:      23000 | #Constraints:       5187
141.49/142.12	c #Conflicts:      24000 | #Constraints:       6187
141.49/142.12	c #Conflicts:      25000 | #Constraints:       7187
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      26000 | #Constraints:       4799
141.49/142.12	c #Conflicts:      27000 | #Constraints:       5799
141.49/142.12	c #Conflicts:      28000 | #Constraints:       6799
141.49/142.12	c #Conflicts:      29000 | #Constraints:       7799
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      30000 | #Constraints:       5195
141.49/142.12	c #Conflicts:      31000 | #Constraints:       6195
141.49/142.12	c #Conflicts:      32000 | #Constraints:       7195
141.49/142.12	c #Conflicts:      33000 | #Constraints:       8195
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      34000 | #Constraints:       5395
141.49/142.12	c #Conflicts:      35000 | #Constraints:       6395
141.49/142.12	c #Conflicts:      36000 | #Constraints:       7395
141.49/142.12	c #Conflicts:      37000 | #Constraints:       8395
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      38000 | #Constraints:       5401
141.49/142.12	c #Conflicts:      39000 | #Constraints:       6401
141.49/142.12	c #Conflicts:      40000 | #Constraints:       7401
141.49/142.12	c #Conflicts:      41000 | #Constraints:       8401
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      42000 | #Constraints:       5201
141.49/142.12	c #Conflicts:      43000 | #Constraints:       6201
141.49/142.12	c #Conflicts:      44000 | #Constraints:       7201
141.49/142.12	c #Conflicts:      45000 | #Constraints:       8201
141.49/142.12	c #Conflicts:      46000 | #Constraints:       9201
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      47000 | #Constraints:       5801
141.49/142.12	c #Conflicts:      48000 | #Constraints:       6801
141.49/142.12	c #Conflicts:      49000 | #Constraints:       7801
141.49/142.12	c #Conflicts:      50000 | #Constraints:       8801
141.49/142.12	c #Conflicts:      51000 | #Constraints:       9801
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      52000 | #Constraints:       6205
141.49/142.12	c #Conflicts:      53000 | #Constraints:       7205
141.49/142.12	c #Conflicts:      54000 | #Constraints:       8205
141.49/142.12	c #Conflicts:      55000 | #Constraints:       9205
141.49/142.12	c #Conflicts:      56000 | #Constraints:      10205
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      57000 | #Constraints:       6410
141.49/142.12	c #Conflicts:      58000 | #Constraints:       7410
141.49/142.12	c #Conflicts:      59000 | #Constraints:       8410
141.49/142.12	c #Conflicts:      60000 | #Constraints:       9410
141.49/142.12	c #Conflicts:      61000 | #Constraints:      10410
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      62000 | #Constraints:       6415
141.49/142.12	c #Conflicts:      63000 | #Constraints:       7415
141.49/142.12	c #Conflicts:      64000 | #Constraints:       8415
141.49/142.12	c #Conflicts:      65000 | #Constraints:       9415
141.49/142.12	c #Conflicts:      66000 | #Constraints:      10415
141.49/142.12	c INPROCESSING
141.49/142.12	c GARBAGE COLLECT
141.49/142.12	c #Conflicts:      67000 | #Constraints:       6213
141.49/142.12	c #Conflicts:      68000 | #Constraints:       7213
963.69/966.74	c #Conflicts:      69000 | #Constraints:       8213
963.69/966.74	c #Conflicts:      70000 | #Constraints:       9213
963.69/966.74	c #Conflicts:      71000 | #Constraints:      10213
963.69/966.74	c #Conflicts:      72000 | #Constraints:      11213
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:      73000 | #Constraints:       6815
963.69/966.74	c #Conflicts:      74000 | #Constraints:       7815
963.69/966.74	c #Conflicts:      75000 | #Constraints:       8815
963.69/966.74	c #Conflicts:      76000 | #Constraints:       9815
963.69/966.74	c #Conflicts:      77000 | #Constraints:      10815
963.69/966.74	c #Conflicts:      78000 | #Constraints:      11815
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:      79000 | #Constraints:       7222
963.69/966.74	c #Conflicts:      80000 | #Constraints:       8222
963.69/966.74	c #Conflicts:      81000 | #Constraints:       9222
963.69/966.74	c #Conflicts:      82000 | #Constraints:      10222
963.69/966.74	c #Conflicts:      83000 | #Constraints:      11222
963.69/966.74	c #Conflicts:      84000 | #Constraints:      12222
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:      85000 | #Constraints:       7421
963.69/966.74	c #Conflicts:      86000 | #Constraints:       8421
963.69/966.74	c #Conflicts:      87000 | #Constraints:       9421
963.69/966.74	c #Conflicts:      88000 | #Constraints:      10421
963.69/966.74	c #Conflicts:      89000 | #Constraints:      11421
963.69/966.74	c #Conflicts:      90000 | #Constraints:      12421
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:      91000 | #Constraints:       7419
963.69/966.74	c #Conflicts:      92000 | #Constraints:       8419
963.69/966.74	c #Conflicts:      93000 | #Constraints:       9419
963.69/966.74	c #Conflicts:      94000 | #Constraints:      10419
963.69/966.74	c #Conflicts:      95000 | #Constraints:      11419
963.69/966.74	c #Conflicts:      96000 | #Constraints:      12419
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:      97000 | #Constraints:       7218
963.69/966.74	c #Conflicts:      98000 | #Constraints:       8218
963.69/966.74	c #Conflicts:      99000 | #Constraints:       9218
963.69/966.74	c #Conflicts:     100000 | #Constraints:      10218
963.69/966.74	c #Conflicts:     101000 | #Constraints:      11218
963.69/966.74	c #Conflicts:     102000 | #Constraints:      12218
963.69/966.74	c #Conflicts:     103000 | #Constraints:      13218
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:     104000 | #Constraints:       7821
963.69/966.74	c #Conflicts:     105000 | #Constraints:       8821
963.69/966.74	c #Conflicts:     106000 | #Constraints:       9821
963.69/966.74	c #Conflicts:     107000 | #Constraints:      10821
963.69/966.74	c #Conflicts:     108000 | #Constraints:      11821
963.69/966.74	c #Conflicts:     109000 | #Constraints:      12821
963.69/966.74	c #Conflicts:     110000 | #Constraints:      13821
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:     111000 | #Constraints:       8213
963.69/966.74	c #Conflicts:     112000 | #Constraints:       9213
963.69/966.74	c #Conflicts:     113000 | #Constraints:      10213
963.69/966.74	c #Conflicts:     114000 | #Constraints:      11213
963.69/966.74	c #Conflicts:     115000 | #Constraints:      12213
963.69/966.74	c #Conflicts:     116000 | #Constraints:      13213
963.69/966.74	c #Conflicts:     117000 | #Constraints:      14213
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:     118000 | #Constraints:       8422
963.69/966.74	c #Conflicts:     119000 | #Constraints:       9422
963.69/966.74	c #Conflicts:     120000 | #Constraints:      10422
963.69/966.74	c #Conflicts:     121000 | #Constraints:      11422
963.69/966.74	c #Conflicts:     122000 | #Constraints:      12422
963.69/966.74	c #Conflicts:     123000 | #Constraints:      13422
963.69/966.74	c #Conflicts:     124000 | #Constraints:      14422
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:     125000 | #Constraints:       8428
963.69/966.74	c #Conflicts:     126000 | #Constraints:       9428
963.69/966.74	c #Conflicts:     127000 | #Constraints:      10428
963.69/966.74	c #Conflicts:     128000 | #Constraints:      11428
963.69/966.74	c #Conflicts:     129000 | #Constraints:      12428
963.69/966.74	c #Conflicts:     130000 | #Constraints:      13428
963.69/966.74	c #Conflicts:     131000 | #Constraints:      14428
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:     132000 | #Constraints:       8238
963.69/966.74	c #Conflicts:     133000 | #Constraints:       9238
963.69/966.74	c #Conflicts:     134000 | #Constraints:      10238
963.69/966.74	c #Conflicts:     135000 | #Constraints:      11238
963.69/966.74	c #Conflicts:     136000 | #Constraints:      12238
963.69/966.74	c #Conflicts:     137000 | #Constraints:      13238
963.69/966.74	c #Conflicts:     138000 | #Constraints:      14238
963.69/966.74	c #Conflicts:     139000 | #Constraints:      15238
963.69/966.74	c INPROCESSING
963.69/966.74	c GARBAGE COLLECT
963.69/966.74	c #Conflicts:     140000 | #Constraints:       8836
1866.85/1872.64	c #Conflicts:     141000 | #Constraints:       9836
1866.85/1872.64	c #Conflicts:     142000 | #Constraints:      10836
1866.85/1872.64	c #Conflicts:     143000 | #Constraints:      11836
1866.85/1872.64	c #Conflicts:     144000 | #Constraints:      12836
1866.85/1872.64	c #Conflicts:     145000 | #Constraints:      13836
1866.85/1872.64	c #Conflicts:     146000 | #Constraints:      14836
1866.85/1872.64	c #Conflicts:     147000 | #Constraints:      15836
1866.85/1872.64	c INPROCESSING
1866.85/1872.64	c GARBAGE COLLECT
1866.85/1872.64	c #Conflicts:     148000 | #Constraints:       9238
1866.85/1872.64	c #Conflicts:     149000 | #Constraints:      10238
1866.85/1872.64	c #Conflicts:     150000 | #Constraints:      11238
1866.85/1872.64	c #Conflicts:     151000 | #Constraints:      12238
1866.85/1872.64	c #Conflicts:     152000 | #Constraints:      13238
1866.85/1872.64	c #Conflicts:     153000 | #Constraints:      14238
1866.85/1872.64	c #Conflicts:     154000 | #Constraints:      15238
1866.85/1872.64	c #Conflicts:     155000 | #Constraints:      16238
1866.85/1872.64	c INPROCESSING
1866.85/1872.64	c GARBAGE COLLECT
1866.85/1872.64	c #Conflicts:     156000 | #Constraints:       9437
1866.85/1872.64	c #Conflicts:     157000 | #Constraints:      10437
1866.85/1872.64	c #Conflicts:     158000 | #Constraints:      11437
1866.85/1872.64	c #Conflicts:     159000 | #Constraints:      12437
1866.85/1872.64	c #Conflicts:     160000 | #Constraints:      13437
1866.85/1872.64	c #Conflicts:     161000 | #Constraints:      14437
1866.85/1872.64	c #Conflicts:     162000 | #Constraints:      15437
1866.85/1872.64	c #Conflicts:     163000 | #Constraints:      16437
1866.85/1872.64	c INPROCESSING
1866.85/1872.64	c GARBAGE COLLECT
1866.85/1872.64	c #Conflicts:     164000 | #Constraints:       9440
1866.85/1872.64	c #Conflicts:     165000 | #Constraints:      10440
1866.85/1872.64	c #Conflicts:     166000 | #Constraints:      11440
1866.85/1872.64	c #Conflicts:     167000 | #Constraints:      12440
1866.85/1872.64	c #Conflicts:     168000 | #Constraints:      13440
1866.85/1872.64	c #Conflicts:     169000 | #Constraints:      14440
1866.85/1872.64	c #Conflicts:     170000 | #Constraints:      15440
1866.85/1872.64	c #Conflicts:     171000 | #Constraints:      16440
1866.85/1872.64	c INPROCESSING
1866.85/1872.64	c GARBAGE COLLECT
1866.85/1872.64	c #Conflicts:     172000 | #Constraints:       9254
1866.85/1872.64	c #Conflicts:     173000 | #Constraints:      10254
1866.85/1872.64	c #Conflicts:     174000 | #Constraints:      11254
1866.85/1872.64	c #Conflicts:     175000 | #Constraints:      12254
1866.85/1872.64	c #Conflicts:     176000 | #Constraints:      13254
1866.85/1872.64	c #Conflicts:     177000 | #Constraints:      14254
1866.85/1872.64	c #Conflicts:     178000 | #Constraints:      15254
1866.85/1872.64	c #Conflicts:     179000 | #Constraints:      16254
1866.85/1872.64	c #Conflicts:     180000 | #Constraints:      17254
1866.85/1872.64	c INPROCESSING
1866.85/1872.64	c GARBAGE COLLECT
1866.85/1872.64	c #Conflicts:     181000 | #Constraints:       9863
1866.85/1872.64	c #Conflicts:     182000 | #Constraints:      10863
1866.85/1872.64	c #Conflicts:     183000 | #Constraints:      11863
1866.85/1872.64	c #Conflicts:     184000 | #Constraints:      12863
1866.85/1872.64	c #Conflicts:     185000 | #Constraints:      13863
1866.85/1872.64	c #Conflicts:     186000 | #Constraints:      14863
1866.85/1872.64	c #Conflicts:     187000 | #Constraints:      15863
1866.85/1872.64	c #Conflicts:     188000 | #Constraints:      16863
1866.85/1872.64	c #Conflicts:     189000 | #Constraints:      17863
1866.85/1872.64	c INPROCESSING
1866.85/1872.64	c GARBAGE COLLECT
1866.85/1872.64	c #Conflicts:     190000 | #Constraints:      10260
1866.85/1872.64	c #Conflicts:     191000 | #Constraints:      11260
1866.85/1872.64	c #Conflicts:     192000 | #Constraints:      12260
1866.85/1872.64	c #Conflicts:     193000 | #Constraints:      13260
1866.85/1872.64	c #Conflicts:     194000 | #Constraints:      14260
1866.85/1872.64	c #Conflicts:     195000 | #Constraints:      15260
1866.85/1872.64	c #Conflicts:     196000 | #Constraints:      16260
1866.85/1872.64	c #Conflicts:     197000 | #Constraints:      17260
1866.85/1872.64	c #Conflicts:     198000 | #Constraints:      18260
1866.85/1872.64	c INPROCESSING
1866.85/1872.64	c GARBAGE COLLECT
1866.85/1872.64	c #Conflicts:     199000 | #Constraints:      10468
1866.85/1872.64	c #Conflicts:     200000 | #Constraints:      11468
1866.85/1872.64	c #Conflicts:     201000 | #Constraints:      12468
1866.85/1872.64	c #Conflicts:     202000 | #Constraints:      13468
1866.85/1872.64	c #Conflicts:     203000 | #Constraints:      14468
1866.85/1872.64	c #Conflicts:     204000 | #Constraints:      15468
1866.85/1872.64	c #Conflicts:     205000 | #Constraints:      16468
1866.85/1872.64	c #Conflicts:     206000 | #Constraints:      17468
1866.85/1872.64	c #Conflicts:     207000 | #Constraints:      18468
1866.85/1872.64	c INPROCESSING
1866.85/1872.64	c GARBAGE COLLECT
1866.85/1872.64	c #Conflicts:     208000 | #Constraints:      10467
1866.85/1872.64	c #Conflicts:     209000 | #Constraints:      11467
1866.85/1872.64	c #Conflicts:     210000 | #Constraints:      12467
1866.85/1872.64	c #Conflicts:     211000 | #Constraints:      13467
1866.85/1872.64	c #Conflicts:     212000 | #Constraints:      14467
1866.85/1872.64	c #Conflicts:     213000 | #Constraints:      15467
3373.23/3383.84	c #Conflicts:     214000 | #Constraints:      16467
3373.23/3383.84	c #Conflicts:     215000 | #Constraints:      17467
3373.23/3383.84	c #Conflicts:     216000 | #Constraints:      18467
3373.23/3383.84	c INPROCESSING
3373.23/3383.84	c GARBAGE COLLECT
3373.23/3383.84	c #Conflicts:     217000 | #Constraints:      10269
3373.23/3383.84	c #Conflicts:     218000 | #Constraints:      11269
3373.23/3383.84	c #Conflicts:     219000 | #Constraints:      12269
3373.23/3383.84	c #Conflicts:     220000 | #Constraints:      13269
3373.23/3383.84	c #Conflicts:     221000 | #Constraints:      14269
3373.23/3383.84	c #Conflicts:     222000 | #Constraints:      15269
3373.23/3383.84	c #Conflicts:     223000 | #Constraints:      16269
3373.23/3383.84	c #Conflicts:     224000 | #Constraints:      17269
3373.23/3383.84	c #Conflicts:     225000 | #Constraints:      18269
3373.23/3383.84	c #Conflicts:     226000 | #Constraints:      19269
3373.23/3383.84	c INPROCESSING
3373.23/3383.84	c GARBAGE COLLECT
3373.23/3383.84	c #Conflicts:     227000 | #Constraints:      10877
3373.23/3383.84	c #Conflicts:     228000 | #Constraints:      11877
3373.23/3383.84	c #Conflicts:     229000 | #Constraints:      12877
3373.23/3383.84	c #Conflicts:     230000 | #Constraints:      13877
3373.23/3383.84	c #Conflicts:     231000 | #Constraints:      14877
3373.23/3383.84	c #Conflicts:     232000 | #Constraints:      15877
3373.23/3383.84	c #Conflicts:     233000 | #Constraints:      16877
3373.23/3383.84	c #Conflicts:     234000 | #Constraints:      17877
3373.23/3383.84	c #Conflicts:     235000 | #Constraints:      18877
3373.23/3383.84	c #Conflicts:     236000 | #Constraints:      19877
3373.23/3383.84	c INPROCESSING
3373.23/3383.84	c GARBAGE COLLECT
3373.23/3383.84	c #Conflicts:     237000 | #Constraints:      11271
3373.23/3383.84	c #Conflicts:     238000 | #Constraints:      12271
3373.23/3383.84	c #Conflicts:     239000 | #Constraints:      13271
3373.23/3383.84	c #Conflicts:     240000 | #Constraints:      14271
3373.23/3383.84	c #Conflicts:     241000 | #Constraints:      15271
3373.23/3383.84	c #Conflicts:     242000 | #Constraints:      16271
3373.23/3383.84	c #Conflicts:     243000 | #Constraints:      17271
3373.23/3383.84	c #Conflicts:     244000 | #Constraints:      18271
3373.23/3383.84	c #Conflicts:     245000 | #Constraints:      19271
3373.23/3383.84	c #Conflicts:     246000 | #Constraints:      20271
3373.23/3383.84	c INPROCESSING
3373.23/3383.84	c GARBAGE COLLECT
3373.23/3383.84	c #Conflicts:     247000 | #Constraints:      11468
3373.23/3383.84	c #Conflicts:     248000 | #Constraints:      12468
3373.23/3383.84	c #Conflicts:     249000 | #Constraints:      13468
3373.23/3383.84	c #Conflicts:     250000 | #Constraints:      14468
3373.23/3383.84	c #Conflicts:     251000 | #Constraints:      15468
3373.23/3383.84	c #Conflicts:     252000 | #Constraints:      16468
3373.23/3383.84	c #Conflicts:     253000 | #Constraints:      17468
3373.23/3383.84	c #Conflicts:     254000 | #Constraints:      18468
3373.23/3383.84	c #Conflicts:     255000 | #Constraints:      19468
3373.23/3383.84	c #Conflicts:     256000 | #Constraints:      20468
3373.23/3383.84	c INPROCESSING
3373.23/3383.84	c GARBAGE COLLECT
3373.23/3383.84	c #Conflicts:     257000 | #Constraints:      11465
3373.23/3383.84	c #Conflicts:     258000 | #Constraints:      12465
3373.23/3383.84	c #Conflicts:     259000 | #Constraints:      13465
3373.23/3383.84	c #Conflicts:     260000 | #Constraints:      14465
3373.23/3383.84	c #Conflicts:     261000 | #Constraints:      15465
3373.23/3383.84	c #Conflicts:     262000 | #Constraints:      16465
3373.23/3383.84	c #Conflicts:     263000 | #Constraints:      17465
3373.23/3383.84	c #Conflicts:     264000 | #Constraints:      18465
3373.23/3383.84	c #Conflicts:     265000 | #Constraints:      19465
3373.23/3383.84	c #Conflicts:     266000 | #Constraints:      20465
3373.23/3383.84	c INPROCESSING
3373.23/3383.84	c GARBAGE COLLECT
3373.23/3383.84	c #Conflicts:     267000 | #Constraints:      11264
3373.23/3383.84	c #Conflicts:     268000 | #Constraints:      12264
3373.23/3383.84	c #Conflicts:     269000 | #Constraints:      13264
3373.23/3383.84	c #Conflicts:     270000 | #Constraints:      14264
3373.23/3383.84	c #Conflicts:     271000 | #Constraints:      15264
3373.23/3383.84	c #Conflicts:     272000 | #Constraints:      16264
3373.23/3383.84	c #Conflicts:     273000 | #Constraints:      17264
3373.23/3383.84	c #Conflicts:     274000 | #Constraints:      18264
3373.23/3383.84	c #Conflicts:     275000 | #Constraints:      19264
3373.23/3383.84	c #Conflicts:     276000 | #Constraints:      20264
3373.23/3383.84	c #Conflicts:     277000 | #Constraints:      21264
3373.23/3383.84	c INPROCESSING
3373.23/3383.84	c GARBAGE COLLECT
3373.23/3383.84	c #Conflicts:     278000 | #Constraints:      11859
3373.23/3383.84	c #Conflicts:     279000 | #Constraints:      12859
3373.23/3383.84	c #Conflicts:     280000 | #Constraints:      13859
3373.23/3383.84	c #Conflicts:     281000 | #Constraints:      14859
3373.23/3383.84	c #Conflicts:     282000 | #Constraints:      15859
3373.23/3383.84	c #Conflicts:     283000 | #Constraints:      16859
3373.23/3383.84	c #Conflicts:     284000 | #Constraints:      17859
3373.23/3383.84	c #Conflicts:     285000 | #Constraints:      18859
3373.23/3383.84	c #Conflicts:     286000 | #Constraints:      19859
3373.23/3383.84	c #Conflicts:     287000 | #Constraints:      20859
3373.23/3383.84	c #Conflicts:     288000 | #Constraints:      21859
3600.07/3611.30	c INPROCESSING
3600.07/3611.30	c GARBAGE COLLECT
3600.07/3611.30	c #Conflicts:     289000 | #Constraints:      12256
3600.07/3611.30	c #Conflicts:     290000 | #Constraints:      13256
3600.07/3611.30	c #Conflicts:     291000 | #Constraints:      14256
3600.07/3611.30	c #Conflicts:     292000 | #Constraints:      15256
3600.07/3611.30	c #Conflicts:     293000 | #Constraints:      16256
3600.07/3611.30	c #Conflicts:     294000 | #Constraints:      17256
3600.07/3611.30	c #Conflicts:     295000 | #Constraints:      18256
3600.07/3611.30	c #Conflicts:     296000 | #Constraints:      19256
3600.07/3611.30	c #Conflicts:     297000 | #Constraints:      20256
3600.07/3611.30	c #Conflicts:     298000 | #Constraints:      21256
3600.07/3611.30	c #Conflicts:     299000 | #Constraints:      22256
3600.07/3611.30	c INPROCESSING
3600.07/3611.30	c GARBAGE COLLECT
3600.07/3611.30	c #Conflicts:     300000 | #Constraints:      12448
3600.07/3611.30	c #Conflicts:     301000 | #Constraints:      13448
3600.07/3611.30	c #Conflicts:     302000 | #Constraints:      14448
3600.07/3611.30	c #Conflicts:     303000 | #Constraints:      15448
3600.07/3611.30	c #Conflicts:     304000 | #Constraints:      16448
3600.07/3611.30	c #Conflicts:     305000 | #Constraints:      17448
3600.07/3611.30	c #Conflicts:     306000 | #Constraints:      18448
3600.07/3611.30	c Program interrupted by user.
3600.07/3611.30	c cpu time 3573.01 s
3600.07/3611.30	c deterministic time 410989311866 4.11e+11
3600.07/3611.30	c optimization time 125.611 s
3600.07/3611.30	c total solve time 3447.31 s
3600.07/3611.30	c core-guided solve time 3447.31 s
3600.07/3611.30	c propagation time 3490.11 s
3600.07/3611.30	c conflict analysis time 49.4756 s
3600.07/3611.30	c propagations 19096398
3600.07/3611.30	c resolve steps 899391
3600.07/3611.30	c decisions 25758812
3600.07/3611.30	c conflicts 306318
3600.07/3611.30	c restarts 752
3600.07/3611.30	c inprocessing phases 46
3600.07/3611.30	c input clauses 0
3600.07/3611.30	c input cardinalities 0
3600.07/3611.30	c input general constraints 560
3600.07/3611.30	c input average constraint length 161.38
3600.07/3611.30	c input average constraint degree 166275593531274.41
3600.07/3611.30	c learned clauses 94087
3600.07/3611.30	c learned cardinalities 2
3600.07/3611.30	c learned general constraints 212229
3600.07/3611.30	c learned average constraint length 280.82
3600.07/3611.30	c learned average constraint degree 738678572.41
3600.07/3611.30	c watched constraints 212746
3600.07/3611.30	c counting constraints 43
3600.07/3611.30	c gcd simplifications 90121
3600.07/3611.30	c detected cardinalities 2
3600.07/3611.30	c weakened non-implied lits 206111
3600.07/3611.30	c weakened non-implying lits 766366
3600.07/3611.30	c original variables 7994
3600.07/3611.30	c clausal propagations 128091
3600.07/3611.30	c cardinality propagations 127933
3600.07/3611.30	c watched propagations 17517312
3600.07/3611.30	c counting propagations 1172880
3600.07/3611.30	c watch lookups 73252588859
3600.07/3611.30	c watch backjump lookups 72603987822
3600.07/3611.30	c watch checks 94247872473
3600.07/3611.30	c propagation checks 170434844629
3600.07/3611.30	c constraint additions 360001726
3600.07/3611.30	c trail pops 45161146
3600.07/3611.30	c formula constraints 560
3600.07/3611.30	c learned constraints 306318
3600.07/3611.30	c bound constraints 0
3600.07/3611.30	c core-guided constraints 0
3600.07/3611.30	c encountered formula constraints 808687
3600.07/3611.30	c encountered learned constraints 397022
3600.07/3611.30	c encountered bound constraints 0
3600.07/3611.30	c encountered core-guided constraints 0
3600.07/3611.30	c LP total time 0 s
3600.07/3611.30	c LP solve time 0 s
3600.07/3611.30	c LP constraints added 0
3600.07/3611.30	c LP constraints removed 0
3600.07/3611.30	c LP pivots internal 0
3600.07/3611.30	c LP pivots root 0
3600.07/3611.30	c LP calls 0
3600.07/3611.30	c LP optimalities 0
3600.07/3611.30	c LP no pivot count 0
3600.07/3611.30	c LP infeasibilities 0
3600.07/3611.30	c LP valid Farkas constraints 0
3600.07/3611.30	c LP learned Farkas constraints 0
3600.07/3611.30	c LP basis resets 0
3600.07/3611.30	c LP cycling count 0
3600.07/3611.30	c LP singular count 0
3600.07/3611.30	c LP no primal count 0
3600.07/3611.30	c LP no farkas count 0
3600.07/3611.30	c LP other issue count 0
3600.07/3611.30	c LP Gomory cuts 0
3600.07/3611.30	c LP learned cuts 0
3600.07/3611.30	c LP deleted cuts 0
3600.07/3611.30	c LP encountered Gomory constraints 0
3600.07/3611.30	c LP encountered Farkas constraints 0
3600.07/3611.30	c LP encountered learned Farkas constraints 0
3600.07/3611.30	c CG auxiliary variables introduced 0
3600.07/3611.30	c CG solutions found 0
3600.07/3611.30	c CG cores constructed 0
3600.07/3611.30	c CG core cardinality constraints returned 0
3600.07/3611.30	c CG unit cores 0
3600.07/3611.30	c CG single cores 0
3600.07/3611.30	c CG blocks removed during cardinality reduction 0
3600.07/3611.30	c CG first core best 0
3600.07/3611.30	c CG decision core best 0
3600.07/3611.30	c CG core reduction tie 0
3600.07/3611.30	c CG core degree average 0.00
3600.07/3611.30	c CG core slack average 0.00
3600.07/3611.30	c CG exhausted 0
3600.07/3611.30	c CG exhaust time 0 s
3600.07/3611.30	c CG trimmed 0
3600.07/3611.30	c CG trim time 0 s
3600.07/3611.30	c CG minimized 0
3600.07/3611.30	c CG minimize time 0 s
3600.07/3611.30	c CG am1 prop time 0 s
3600.07/3611.30	c CG # am1s reformulated 0
3600.07/3611.30	c CG lower bound derived from am1s 0
3600.07/3611.30	c CG # clausal cores 0
3600.07/3611.30	c CG # cardinality cores 0
3600.07/3611.30	c CG # pb cores 0
3600.07/3611.30	c CG # pb reforms 0
3600.07/3611.30	c CG # cores discarded because of pb reform 0
3600.07/3611.30	d LOWERBOUND 0
3600.07/3611.30	d NCORES 0
3600.07/3611.30	d NPBCORES 0
3600.07/3611.30	d NPBREFORM 0
3600.07/3611.30	d NTRIMMED 0
3600.07/3611.30	d NEXHAUSTED 0
3600.07/3611.30	d NAM1S 0
3600.07/3611.30	d AM1LB 0
3600.07/3611.30	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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: 63837 MiB (63230 MiB free)
  memory of node 1: 64465 MiB (63880 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485822-1751316235/watcher-4485822-1751316235 -o /tmp/evaluation-result-4485822-1751316235/solver-4485822-1751316235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40721 --watchdog 3760 pb-oll-rs HOME/instance-4485822-1751316235.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100071 s]*
/proc/loadavg: 2.92 3.94 4.10 5/242 40747
/proc/meminfo: memFree=130153960/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=23020 memory=7936 CPUtime=0.08 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 1038 0 2 0 8 0 0 0 20 0 1 0 47302590 23572480 1984 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 5755 1984 1120 243 0 2004 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23020 KiB
Current children cumulated memory: 7936 KiB

[startup+0.218155 s]*
/proc/loadavg: 2.92 3.94 4.10 4/237 40748
/proc/meminfo: memFree=130152208/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=24764 memory=10752 CPUtime=0.19 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 1569 0 2 0 16 3 0 0 20 0 1 0 47302590 25358336 2688 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 6191 2688 1344 243 0 2440 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24764 KiB
Current children cumulated memory: 10752 KiB

[startup+0.313763 s]*
/proc/loadavg: 2.92 3.94 4.10 4/243 40759
/proc/meminfo: memFree=130164568/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=24896 memory=11136 CPUtime=0.28 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 1649 0 2 0 23 5 0 0 20 0 1 0 47302590 25493504 2784 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 6224 2784 1344 243 0 2473 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 24896 KiB
Current children cumulated memory: 11136 KiB

[startup+0.700308 s]
/proc/loadavg: 2.92 3.94 4.10 6/251 40777
/proc/meminfo: memFree=130067320/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=25420 memory=12032 CPUtime=0.66 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 1880 0 2 0 55 11 0 0 20 0 1 0 47302590 26030080 3008 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 6355 3008 1344 243 0 2604 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 25420 KiB
Current children cumulated memory: 12032 KiB

[startup+1.50029 s]
/proc/loadavg: 2.92 3.94 4.10 4/247 40785
/proc/meminfo: memFree=130058912/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=26072 memory=15344 CPUtime=1.45 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 2184 0 2 0 127 18 0 0 20 0 1 0 47302590 26697728 3836 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 6518 3836 1344 243 0 2767 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 26072 KiB
Current children cumulated memory: 15344 KiB

[startup+3.11407 s]
/proc/loadavg: 2.92 3.94 4.10 4/248 40832
/proc/meminfo: memFree=130052488/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=28204 memory=17904 CPUtime=3.05 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 2832 0 2 0 278 27 0 0 20 0 1 0 47302590 28880896 4476 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 7051 4476 1344 243 0 3300 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 28204 KiB
Current children cumulated memory: 17904 KiB

[startup+6.30031 s]
/proc/loadavg: 3.01 3.94 4.10 3/246 40982
/proc/meminfo: memFree=130037672/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=33096 memory=21360 CPUtime=6.2 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 3707 0 2 0 583 37 0 0 20 0 1 0 47302590 33890304 5340 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 8274 5340 1344 243 0 4523 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 33096 KiB
Current children cumulated memory: 21360 KiB

[startup+12.7003 s]
/proc/loadavg: 3.09 3.94 4.10 5/253 41101
/proc/meminfo: memFree=129972736/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=37412 memory=26608 CPUtime=12.55 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 5017 0 2 0 1200 55 0 0 20 0 1 0 47302590 38309888 6652 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 9353 6652 1344 243 0 5602 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 37412 KiB
Current children cumulated memory: 26608 KiB

[startup+25.5003 s]
/proc/loadavg: 3.29 3.94 4.10 5/253 41101
/proc/meminfo: memFree=129795088/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=46392 memory=34716 CPUtime=25.3 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 6524 0 2 0 2435 95 0 0 20 0 1 0 47302590 47505408 8679 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 11598 8679 1344 243 0 7847 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 46392 KiB
Current children cumulated memory: 34716 KiB

[startup+51.1141 s]
/proc/loadavg: 3.53 3.95 4.09 5/253 41102
/proc/meminfo: memFree=129608176/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=56040 memory=41024 CPUtime=50.81 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 7609 0 2 0 4931 150 0 0 20 0 1 0 47302590 57384960 10256 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 14010 10256 1344 243 0 10259 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 56040 KiB
Current children cumulated memory: 41024 KiB

[startup+102.3 s]
/proc/loadavg: 3.85 3.97 4.09 5/254 41105
/proc/meminfo: memFree=129441440/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=63896 memory=50488 CPUtime=101.81 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 9431 0 2 0 9923 258 0 0 20 0 1 0 47302590 65429504 12622 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 15974 12622 1344 243 0 12223 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 63896 KiB
Current children cumulated memory: 50488 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 4.00 4.09 5/254 41107
/proc/meminfo: memFree=129270552/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=82992 memory=61836 CPUtime=161.62 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 11434 0 2 0 15762 400 0 0 20 0 1 0 47302590 84983808 15459 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 20748 15459 1344 243 0 16997 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 82992 KiB
Current children cumulated memory: 61836 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.02 4.09 5/254 41109
/proc/meminfo: memFree=129142884/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=95152 memory=75336 CPUtime=221.45 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 14286 0 2 0 21657 488 0 0 20 0 1 0 47302590 97435648 18834 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 23788 18834 1344 243 0 20037 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 95152 KiB
Current children cumulated memory: 75336 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 4.02 4.09 5/252 41111
/proc/meminfo: memFree=129079716/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=97684 memory=81600 CPUtime=281.27 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 14857 0 2 0 27578 549 0 0 20 0 1 0 47302590 100028416 20400 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 24421 20400 1344 243 0 20670 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 97684 KiB
Current children cumulated memory: 81600 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.06 4.10 5/250 41113
/proc/meminfo: memFree=129031188/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=102580 memory=85312 CPUtime=341.11 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 15800 0 2 0 33523 588 0 0 20 0 1 0 47302590 105041920 21328 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 25645 21328 1344 243 0 21894 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 102580 KiB
Current children cumulated memory: 85312 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.06 4.09 5/250 41116
/proc/meminfo: memFree=128992432/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=127372 memory=91840 CPUtime=400.93 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 17455 0 2 0 39462 631 0 0 20 0 1 0 47302590 130428928 22960 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 31843 22960 1344 243 0 28092 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 127372 KiB
Current children cumulated memory: 91840 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.06 4.09 5/250 41118
/proc/meminfo: memFree=128835668/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=127372 memory=91840 CPUtime=460.75 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 17458 0 2 0 45382 693 0 0 20 0 1 0 47302590 130428928 22960 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 31843 22960 1344 243 0 28092 0
Current children cumulated CPU time: 460.75 s

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

Current children cumulated memory: 142688 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/250 41258
/proc/meminfo: memFree=127391660/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=160500 memory=142688 CPUtime=2913.12 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24047 0 2 0 288956 2356 0 0 20 0 1 0 47302590 164352000 35672 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 40125 35672 1344 243 0 36374 0
Current children cumulated CPU time: 2913.12 s
Current children cumulated vsize: 160500 KiB
Current children cumulated memory: 142688 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.16 5/250 41262
/proc/meminfo: memFree=127390576/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=160500 memory=142688 CPUtime=2972.92 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24048 0 2 0 294915 2377 0 0 20 0 1 0 47302590 164352000 35672 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 40125 35672 1344 243 0 36374 0
Current children cumulated CPU time: 2972.92 s
Current children cumulated vsize: 160500 KiB
Current children cumulated memory: 142688 KiB

[startup+3042.3 s]
/proc/loadavg: 5.08 4.39 4.25 5/250 41268
/proc/meminfo: memFree=127393708/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=162724 memory=143712 CPUtime=3032.72 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24344 0 2 0 300881 2391 0 0 20 0 1 0 47302590 166629376 35928 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 40681 35928 1344 243 0 36930 0
Current children cumulated CPU time: 3032.72 s
Current children cumulated vsize: 162724 KiB
Current children cumulated memory: 143712 KiB

[startup+3102.3 s]
/proc/loadavg: 4.78 4.45 4.28 5/250 41270
/proc/meminfo: memFree=127387704/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=165956 memory=147808 CPUtime=3092.53 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24853 0 2 0 306837 2416 0 0 20 0 1 0 47302590 169938944 36952 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41489 36952 1344 243 0 37738 0
Current children cumulated CPU time: 3092.53 s
Current children cumulated vsize: 165956 KiB
Current children cumulated memory: 147808 KiB

[startup+3162.3 s]
/proc/loadavg: 4.33 4.38 4.27 5/250 41272
/proc/meminfo: memFree=127379248/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=165956 memory=152928 CPUtime=3152.35 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24857 0 2 0 312786 2449 0 0 20 0 1 0 47302590 169938944 38232 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41489 38232 1344 243 0 37738 0
Current children cumulated CPU time: 3152.35 s
Current children cumulated vsize: 165956 KiB
Current children cumulated memory: 152928 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.34 4.26 5/250 41274
/proc/meminfo: memFree=127342264/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=165956 memory=152928 CPUtime=3212.18 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24857 0 2 0 318741 2477 0 0 20 0 1 0 47302590 169938944 38232 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41489 38232 1344 243 0 37738 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 165956 KiB
Current children cumulated memory: 152928 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.29 4.25 5/249 41275
/proc/meminfo: memFree=127313268/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=165956 memory=152928 CPUtime=3272.01 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24857 0 2 0 324699 2502 0 0 20 0 1 0 47302590 169938944 38232 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41489 38232 1344 243 0 37738 0
Current children cumulated CPU time: 3272.01 s
Current children cumulated vsize: 165956 KiB
Current children cumulated memory: 152928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.24 4.23 5/249 41277
/proc/meminfo: memFree=127284668/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=165956 memory=152928 CPUtime=3331.85 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24857 0 2 0 330653 2532 0 0 20 0 1 0 47302590 169938944 38232 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41489 38232 1344 243 0 37738 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 165956 KiB
Current children cumulated memory: 152928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.22 4.22 5/249 41279
/proc/meminfo: memFree=127259428/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=166340 memory=153184 CPUtime=3391.67 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24923 0 2 0 336579 2588 0 0 20 0 1 0 47302590 170332160 38296 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41585 38296 1344 243 0 37834 0
Current children cumulated CPU time: 3391.67 s
Current children cumulated vsize: 166340 KiB
Current children cumulated memory: 153184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.21 5/249 41281
/proc/meminfo: memFree=127256320/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=166340 memory=153184 CPUtime=3451.5 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24925 0 2 0 342523 2627 0 0 20 0 1 0 47302590 170332160 38296 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41585 38296 1344 243 0 37834 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 166340 KiB
Current children cumulated memory: 153184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.17 4.20 5/249 41283
/proc/meminfo: memFree=127255160/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=166340 memory=153184 CPUtime=3511.33 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24949 0 2 0 348463 2670 0 0 20 0 1 0 47302590 170332160 38296 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41585 38296 1344 243 0 37834 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 166340 KiB
Current children cumulated memory: 153184 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.15 4.19 5/250 41288
/proc/meminfo: memFree=127256332/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=166340 memory=153184 CPUtime=3571.15 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24949 0 2 0 354419 2696 0 0 20 0 1 0 47302590 170332160 38296 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41585 38296 1344 243 0 37834 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 166340 KiB
Current children cumulated memory: 153184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.12 4.15 4.19 5/246 41297
/proc/meminfo: memFree=129466044/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=166340 memory=153184 CPUtime=3600.07 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24949 0 2 0 357301 2706 0 0 20 0 1 0 47302590 170332160 38296 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41585 38296 1344 243 0 37834 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 166340 KiB
Current children cumulated memory: 153184 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.01 s, system=27.0696 s

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

[startup+3611.3 s]
/proc/loadavg: 4.12 4.15 4.19 5/246 41297
/proc/meminfo: memFree=129466044/131382120 swapFree=33010160/33010684
[pid=40746] ppid=40743 vsize=166340 memory=153184 CPUtime=3600.07 cores=5,7
/proc/40746/stat : 40746 (pb-oll-rs) R 40743 40746 40708 0 -1 4194304 24949 0 2 0 357301 2706 0 0 20 0 1 0 47302590 170332160 38296 18446744073709551615 4218880 5211445 140723579577248 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 17842176 140723579578780 140723579578857 140723579578857 140723579584459 0
/proc/40746/statm: 41585 38296 1344 243 0 37834 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 166340 KiB
Current children cumulated memory: 153184 KiB

Child status: 0

Real time (s): 3611.3
CPU time (s): 3600.08
CPU user time (s): 3573.01
CPU system time (s): 27.0696
CPU usage (%): 99.6893
Max. virtual memory (cumulated for all children) (KiB): 166340
Max. memory (cumulated for all children) (KiB): 153184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.01
system time used= 27.0696
maximum resident set size= 153440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24964
page faults= 2
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131
involuntary context switches= 20903


# summary of solver processes directly reported to runsolver:
#   pid: 40746
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3573.01
#   total CPU system time (s): 27.0696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8722 second user time and 35.4339 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-30 22:43:55
IDJOB=4485822
IDBENCH=146890
IDSOLVER=3345
FILE ID=nodeC008/4485822-1751316235
RUNJOBID= nodeC008-1751316235-40721
SLURM_JOB_ID= 9594335
Free space on /tmp= 433056 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485822-1751316235/watcher-4485822-1751316235 -o /tmp/evaluation-result-4485822-1751316235/solver-4485822-1751316235 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751316235-40721 --watchdog 3760  pb-oll-rs HOME/instance-4485822-1751316235.opb

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

MD5SUM BENCH= f6174806ed62bf92db0e2ac6f71348b5
RANDOM SEED=1361500712

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.534
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.349
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.240
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.183
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.551
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.256
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.214
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.568
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130169032 kB
MemAvailable:   129885388 kB
Buffers:            2144 kB
Cached:           526640 kB
SwapCached:           16 kB
Active:           307292 kB
Inactive:         310540 kB
Active(anon):      70248 kB
Inactive(anon):    36720 kB
Active(file):     237044 kB
Inactive(file):   273820 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11996 kB
Writeback:             0 kB
AnonPages:         92100 kB
Mapped:           102644 kB
Shmem:             17920 kB
KReclaimable:      90236 kB
Slab:             171444 kB
SReclaimable:      90236 kB
SUnreclaim:        81208 kB
KernelStack:        3816 kB
PageTables:         2648 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     356204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC008 at 2025-06-30 23:44:06