Trace number 4518866

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.02 3611.6

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
MD5SUMd7b5082e0c8210cd1db8ac24c14853d2
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 benchmark0
Best CPU time to get the best result obtained on this benchmark0.135812
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2242
Total number of constraints3325
Number of constraints which are clauses2166
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1159
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 76
Biggest coefficient in the objective function 137438953472
Number of bits for the biggest coefficient in the objective function 38
Sum of the numbers in the objective function 549755813886
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 137438953472
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 549755813886
Number of bits of the biggest sum of numbers39
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.00/0.04	c [STEP] solving
0.00/0.04	c #variables 2242 #constraints 4484
0.00/0.04	c SMALL=long long, LARGE=int128
0.00/0.04	c bounds - >= -274877906943 @ 0.023794
0.00/0.04	c stratification level: 68719476736
150.51/151.07	c bounds - >= -206158430207 @ 0.023794
150.51/151.07	c #Conflicts:       1000 | #Constraints:       5485
150.51/151.07	c #Conflicts:       2000 | #Constraints:       6485
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:       3000 | #Constraints:       6523
150.51/151.07	c #Conflicts:       4000 | #Constraints:       7523
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:       5000 | #Constraints:       6962
150.51/151.07	c #Conflicts:       6000 | #Constraints:       7962
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:       7000 | #Constraints:       7013
150.51/151.07	c #Conflicts:       8000 | #Constraints:       8013
150.51/151.07	c #Conflicts:       9000 | #Constraints:       9013
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      10000 | #Constraints:       7728
150.51/151.07	c #Conflicts:      11000 | #Constraints:       8728
150.51/151.07	c #Conflicts:      12000 | #Constraints:       9728
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      13000 | #Constraints:       8195
150.51/151.07	c #Conflicts:      14000 | #Constraints:       9195
150.51/151.07	c #Conflicts:      15000 | #Constraints:      10195
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      16000 | #Constraints:       8443
150.51/151.07	c #Conflicts:      17000 | #Constraints:       9443
150.51/151.07	c #Conflicts:      18000 | #Constraints:      10443
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      19000 | #Constraints:       8482
150.51/151.07	c #Conflicts:      20000 | #Constraints:       9482
150.51/151.07	c #Conflicts:      21000 | #Constraints:      10482
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      22000 | #Constraints:       8301
150.51/151.07	c #Conflicts:      23000 | #Constraints:       9301
150.51/151.07	c #Conflicts:      24000 | #Constraints:      10301
150.51/151.07	c #Conflicts:      25000 | #Constraints:      11301
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      26000 | #Constraints:       8912
150.51/151.07	c #Conflicts:      27000 | #Constraints:       9912
150.51/151.07	c #Conflicts:      28000 | #Constraints:      10912
150.51/151.07	c #Conflicts:      29000 | #Constraints:      11912
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      30000 | #Constraints:       9318
150.51/151.07	c #Conflicts:      31000 | #Constraints:      10318
150.51/151.07	c #Conflicts:      32000 | #Constraints:      11318
150.51/151.07	c #Conflicts:      33000 | #Constraints:      12318
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      34000 | #Constraints:       9518
150.51/151.07	c #Conflicts:      35000 | #Constraints:      10518
150.51/151.07	c #Conflicts:      36000 | #Constraints:      11518
150.51/151.07	c #Conflicts:      37000 | #Constraints:      12518
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      38000 | #Constraints:       9539
150.51/151.07	c #Conflicts:      39000 | #Constraints:      10539
150.51/151.07	c #Conflicts:      40000 | #Constraints:      11539
150.51/151.07	c #Conflicts:      41000 | #Constraints:      12539
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      42000 | #Constraints:       9350
150.51/151.07	c #Conflicts:      43000 | #Constraints:      10350
150.51/151.07	c #Conflicts:      44000 | #Constraints:      11350
150.51/151.07	c #Conflicts:      45000 | #Constraints:      12350
150.51/151.07	c #Conflicts:      46000 | #Constraints:      13350
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      47000 | #Constraints:       9952
150.51/151.07	c #Conflicts:      48000 | #Constraints:      10952
150.51/151.07	c #Conflicts:      49000 | #Constraints:      11952
150.51/151.07	c #Conflicts:      50000 | #Constraints:      12952
150.51/151.07	c #Conflicts:      51000 | #Constraints:      13952
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      52000 | #Constraints:      10356
150.51/151.07	c #Conflicts:      53000 | #Constraints:      11356
150.51/151.07	c #Conflicts:      54000 | #Constraints:      12356
150.51/151.07	c #Conflicts:      55000 | #Constraints:      13356
150.51/151.07	c #Conflicts:      56000 | #Constraints:      14356
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      57000 | #Constraints:      10570
150.51/151.07	c #Conflicts:      58000 | #Constraints:      11570
150.51/151.07	c #Conflicts:      59000 | #Constraints:      12570
150.51/151.07	c #Conflicts:      60000 | #Constraints:      13570
150.51/151.07	c #Conflicts:      61000 | #Constraints:      14570
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      62000 | #Constraints:      10577
150.51/151.07	c #Conflicts:      63000 | #Constraints:      11577
150.51/151.07	c #Conflicts:      64000 | #Constraints:      12577
150.51/151.07	c #Conflicts:      65000 | #Constraints:      13577
150.51/151.07	c #Conflicts:      66000 | #Constraints:      14577
150.51/151.07	c INPROCESSING
150.51/151.07	c GARBAGE COLLECT
150.51/151.07	c #Conflicts:      67000 | #Constraints:      10386
627.31/629.57	c #Conflicts:      68000 | #Constraints:      11386
627.31/629.57	c #Conflicts:      69000 | #Constraints:      12386
627.31/629.57	c #Conflicts:      70000 | #Constraints:      13386
627.31/629.57	c #Conflicts:      71000 | #Constraints:      14386
627.31/629.57	c #Conflicts:      72000 | #Constraints:      15386
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:      73000 | #Constraints:      10984
627.31/629.57	c #Conflicts:      74000 | #Constraints:      11984
627.31/629.57	c #Conflicts:      75000 | #Constraints:      12984
627.31/629.57	c #Conflicts:      76000 | #Constraints:      13984
627.31/629.57	c #Conflicts:      77000 | #Constraints:      14984
627.31/629.57	c #Conflicts:      78000 | #Constraints:      15984
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:      79000 | #Constraints:      11376
627.31/629.57	c #Conflicts:      80000 | #Constraints:      12376
627.31/629.57	c #Conflicts:      81000 | #Constraints:      13376
627.31/629.57	c #Conflicts:      82000 | #Constraints:      14376
627.31/629.57	c #Conflicts:      83000 | #Constraints:      15376
627.31/629.57	c #Conflicts:      84000 | #Constraints:      16376
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:      85000 | #Constraints:      11595
627.31/629.57	c #Conflicts:      86000 | #Constraints:      12595
627.31/629.57	c #Conflicts:      87000 | #Constraints:      13595
627.31/629.57	c #Conflicts:      88000 | #Constraints:      14595
627.31/629.57	c #Conflicts:      89000 | #Constraints:      15595
627.31/629.57	c #Conflicts:      90000 | #Constraints:      16595
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:      91000 | #Constraints:      11607
627.31/629.57	c #Conflicts:      92000 | #Constraints:      12607
627.31/629.57	c #Conflicts:      93000 | #Constraints:      13607
627.31/629.57	c #Conflicts:      94000 | #Constraints:      14607
627.31/629.57	c #Conflicts:      95000 | #Constraints:      15607
627.31/629.57	c #Conflicts:      96000 | #Constraints:      16607
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:      97000 | #Constraints:      11407
627.31/629.57	c #Conflicts:      98000 | #Constraints:      12407
627.31/629.57	c #Conflicts:      99000 | #Constraints:      13407
627.31/629.57	c #Conflicts:     100000 | #Constraints:      14407
627.31/629.57	c #Conflicts:     101000 | #Constraints:      15407
627.31/629.57	c #Conflicts:     102000 | #Constraints:      16407
627.31/629.57	c #Conflicts:     103000 | #Constraints:      17407
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:     104000 | #Constraints:      11998
627.31/629.57	c #Conflicts:     105000 | #Constraints:      12998
627.31/629.57	c #Conflicts:     106000 | #Constraints:      13998
627.31/629.57	c #Conflicts:     107000 | #Constraints:      14998
627.31/629.57	c #Conflicts:     108000 | #Constraints:      15998
627.31/629.57	c #Conflicts:     109000 | #Constraints:      16998
627.31/629.57	c #Conflicts:     110000 | #Constraints:      17998
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:     111000 | #Constraints:      12404
627.31/629.57	c #Conflicts:     112000 | #Constraints:      13404
627.31/629.57	c #Conflicts:     113000 | #Constraints:      14404
627.31/629.57	c #Conflicts:     114000 | #Constraints:      15404
627.31/629.57	c #Conflicts:     115000 | #Constraints:      16404
627.31/629.57	c #Conflicts:     116000 | #Constraints:      17404
627.31/629.57	c #Conflicts:     117000 | #Constraints:      18404
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:     118000 | #Constraints:      12629
627.31/629.57	c #Conflicts:     119000 | #Constraints:      13629
627.31/629.57	c #Conflicts:     120000 | #Constraints:      14629
627.31/629.57	c #Conflicts:     121000 | #Constraints:      15629
627.31/629.57	c #Conflicts:     122000 | #Constraints:      16629
627.31/629.57	c #Conflicts:     123000 | #Constraints:      17629
627.31/629.57	c #Conflicts:     124000 | #Constraints:      18629
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:     125000 | #Constraints:      12625
627.31/629.57	c #Conflicts:     126000 | #Constraints:      13625
627.31/629.57	c #Conflicts:     127000 | #Constraints:      14625
627.31/629.57	c #Conflicts:     128000 | #Constraints:      15625
627.31/629.57	c #Conflicts:     129000 | #Constraints:      16625
627.31/629.57	c #Conflicts:     130000 | #Constraints:      17625
627.31/629.57	c #Conflicts:     131000 | #Constraints:      18625
627.31/629.57	c INPROCESSING
627.31/629.57	c GARBAGE COLLECT
627.31/629.57	c #Conflicts:     132000 | #Constraints:      12424
627.31/629.57	c #Conflicts:     133000 | #Constraints:      13424
627.31/629.57	c #Conflicts:     134000 | #Constraints:      14424
627.31/629.57	c #Conflicts:     135000 | #Constraints:      15424
627.31/629.57	c #Conflicts:     136000 | #Constraints:      16424
627.31/629.57	c #Conflicts:     137000 | #Constraints:      17424
627.31/629.57	c #Conflicts:     138000 | #Constraints:      18424
627.31/629.57	c #Conflicts:     139000 | #Constraints:      19424
627.31/629.57	c INPROCESSING
3174.90/3185.21	c GARBAGE COLLECT
3174.90/3185.21	c #Conflicts:     140000 | #Constraints:      13023
3174.90/3185.21	c #Conflicts:     141000 | #Constraints:      14023
3174.90/3185.21	c #Conflicts:     142000 | #Constraints:      15023
3174.90/3185.21	c #Conflicts:     143000 | #Constraints:      16023
3174.90/3185.21	c #Conflicts:     144000 | #Constraints:      17023
3174.90/3185.21	c #Conflicts:     145000 | #Constraints:      18023
3174.90/3185.21	c #Conflicts:     146000 | #Constraints:      19023
3174.90/3185.21	c #Conflicts:     147000 | #Constraints:      20023
3174.90/3185.21	c INPROCESSING
3174.90/3185.21	c GARBAGE COLLECT
3174.90/3185.21	c #Conflicts:     148000 | #Constraints:      13440
3174.90/3185.21	c #Conflicts:     149000 | #Constraints:      14440
3174.90/3185.21	c #Conflicts:     150000 | #Constraints:      15440
3174.90/3185.21	c #Conflicts:     151000 | #Constraints:      16440
3174.90/3185.21	c #Conflicts:     152000 | #Constraints:      17440
3174.90/3185.21	c #Conflicts:     153000 | #Constraints:      18440
3174.90/3185.21	c #Conflicts:     154000 | #Constraints:      19440
3174.90/3185.21	c #Conflicts:     155000 | #Constraints:      20440
3174.90/3185.21	c INPROCESSING
3174.90/3185.21	c GARBAGE COLLECT
3174.90/3185.21	c #Conflicts:     156000 | #Constraints:      13636
3174.90/3185.21	c #Conflicts:     157000 | #Constraints:      14636
3174.90/3185.21	c #Conflicts:     158000 | #Constraints:      15636
3174.90/3185.21	c #Conflicts:     159000 | #Constraints:      16636
3174.90/3185.21	c #Conflicts:     160000 | #Constraints:      17636
3174.90/3185.21	c #Conflicts:     161000 | #Constraints:      18636
3174.90/3185.21	c #Conflicts:     162000 | #Constraints:      19636
3174.90/3185.21	c #Conflicts:     163000 | #Constraints:      20636
3174.90/3185.21	c INPROCESSING
3174.90/3185.21	c GARBAGE COLLECT
3174.90/3185.21	c #Conflicts:     164000 | #Constraints:      13634
3174.90/3185.21	c #Conflicts:     165000 | #Constraints:      14634
3174.90/3185.21	c #Conflicts:     166000 | #Constraints:      15634
3174.90/3185.21	c #Conflicts:     167000 | #Constraints:      16634
3174.90/3185.21	c #Conflicts:     168000 | #Constraints:      17634
3174.90/3185.21	c #Conflicts:     169000 | #Constraints:      18634
3174.90/3185.21	c #Conflicts:     170000 | #Constraints:      19634
3174.90/3185.21	c #Conflicts:     171000 | #Constraints:      20634
3174.90/3185.21	c #Conflicts:     172000 | #Constraints:      21634
3174.90/3185.21	c #Conflicts:     173000 | #Constraints:      22634
3174.90/3185.21	c #Conflicts:     174000 | #Constraints:      23634
3174.90/3185.21	c #Conflicts:     175000 | #Constraints:      24634
3174.90/3185.21	c #Conflicts:     176000 | #Constraints:      25634
3174.90/3185.21	c #Conflicts:     177000 | #Constraints:      26634
3174.90/3185.21	c #Conflicts:     178000 | #Constraints:      27634
3174.90/3185.21	c #Conflicts:     179000 | #Constraints:      28634
3174.90/3185.21	c #Conflicts:     180000 | #Constraints:      29634
3174.90/3185.21	c #Conflicts:     181000 | #Constraints:      30634
3174.90/3185.21	c #Conflicts:     182000 | #Constraints:      31634
3174.90/3185.21	c #Conflicts:     183000 | #Constraints:      32634
3174.90/3185.21	c #Conflicts:     184000 | #Constraints:      33634
3174.90/3185.21	c #Conflicts:     185000 | #Constraints:      34634
3174.90/3185.21	c #Conflicts:     186000 | #Constraints:      35634
3174.90/3185.21	c #Conflicts:     187000 | #Constraints:      36634
3174.90/3185.21	c #Conflicts:     188000 | #Constraints:      37634
3174.90/3185.21	c #Conflicts:     189000 | #Constraints:      38634
3174.90/3185.21	c #Conflicts:     190000 | #Constraints:      39634
3174.90/3185.21	c #Conflicts:     191000 | #Constraints:      40634
3174.90/3185.21	c #Conflicts:     192000 | #Constraints:      41634
3174.90/3185.21	c #Conflicts:     193000 | #Constraints:      42634
3174.90/3185.21	c #Conflicts:     194000 | #Constraints:      43634
3174.90/3185.21	c #Conflicts:     195000 | #Constraints:      44634
3174.90/3185.21	c #Conflicts:     196000 | #Constraints:      45634
3174.90/3185.21	c #Conflicts:     197000 | #Constraints:      46634
3174.90/3185.21	c #Conflicts:     198000 | #Constraints:      47634
3174.90/3185.21	c #Conflicts:     199000 | #Constraints:      48634
3174.90/3185.21	c #Conflicts:     200000 | #Constraints:      49634
3174.90/3185.21	c #Conflicts:     201000 | #Constraints:      50634
3174.90/3185.21	c INPROCESSING
3174.90/3185.21	c GARBAGE COLLECT
3174.90/3185.21	c #Conflicts:     202000 | #Constraints:      28584
3174.90/3185.21	c #Conflicts:     203000 | #Constraints:      29584
3174.90/3185.21	c #Conflicts:     204000 | #Constraints:      30584
3174.90/3185.21	c #Conflicts:     205000 | #Constraints:      31584
3174.90/3185.21	c #Conflicts:     206000 | #Constraints:      32584
3174.90/3185.21	c #Conflicts:     207000 | #Constraints:      33584
3174.90/3185.21	c #Conflicts:     208000 | #Constraints:      34584
3174.90/3185.21	c #Conflicts:     209000 | #Constraints:      35584
3174.90/3185.21	c #Conflicts:     210000 | #Constraints:      36584
3174.90/3185.21	c INPROCESSING
3174.90/3185.21	c GARBAGE COLLECT
3174.90/3185.21	c #Conflicts:     211000 | #Constraints:      21345
3174.90/3185.21	c #Conflicts:     212000 | #Constraints:      22345
3174.90/3185.21	c #Conflicts:     213000 | #Constraints:      23345
3174.90/3185.21	c #Conflicts:     214000 | #Constraints:      24345
3600.01/3611.60	c #Conflicts:     215000 | #Constraints:      25345
3600.01/3611.60	c #Conflicts:     216000 | #Constraints:      26345
3600.01/3611.60	c #Conflicts:     217000 | #Constraints:      27345
3600.01/3611.60	c #Conflicts:     218000 | #Constraints:      28345
3600.01/3611.60	c #Conflicts:     219000 | #Constraints:      29345
3600.01/3611.60	c #Conflicts:     220000 | #Constraints:      30345
3600.01/3611.60	c INPROCESSING
3600.01/3611.60	c GARBAGE COLLECT
3600.01/3611.60	c #Conflicts:     221000 | #Constraints:      18357
3600.01/3611.60	c #Conflicts:     222000 | #Constraints:      19357
3600.01/3611.60	c #Conflicts:     223000 | #Constraints:      20357
3600.01/3611.60	c #Conflicts:     224000 | #Constraints:      21357
3600.01/3611.60	c #Conflicts:     225000 | #Constraints:      22357
3600.01/3611.60	c #Conflicts:     226000 | #Constraints:      23357
3600.01/3611.60	c #Conflicts:     227000 | #Constraints:      24357
3600.01/3611.60	c #Conflicts:     228000 | #Constraints:      25357
3600.01/3611.60	c Program interrupted by user.
3600.01/3611.60	c cpu time 3596.96 s
3600.01/3611.60	c deterministic time 276290234403 2.76e+11
3600.01/3611.60	c optimization time 194.65 s
3600.01/3611.60	c total solve time 3402.28 s
3600.01/3611.60	c core-guided solve time 3402.28 s
3600.01/3611.60	c propagation time 3256.62 s
3600.01/3611.60	c conflict analysis time 331.311 s
3600.01/3611.60	c propagations 132182098
3600.01/3611.60	c resolve steps 12118267
3600.01/3611.60	c decisions 1602781
3600.01/3611.60	c conflicts 228240
3600.01/3611.60	c restarts 510
3600.01/3611.60	c inprocessing phases 35
3600.01/3611.60	c input clauses 3116
3600.01/3611.60	c input cardinalities 0
3600.01/3611.60	c input general constraints 1369
3600.01/3611.60	c input average constraint length 3.08
3600.01/3611.60	c input average constraint degree 15322069.99
3600.01/3611.60	c learned clauses 30601
3600.01/3611.60	c learned cardinalities 24
3600.01/3611.60	c learned general constraints 197615
3600.01/3611.60	c learned average constraint length 290.96
3600.01/3611.60	c learned average constraint degree 347643958.22
3600.01/3611.60	c watched constraints 195587
3600.01/3611.60	c counting constraints 3397
3600.01/3611.60	c gcd simplifications 9866
3600.01/3611.60	c detected cardinalities 5
3600.01/3611.60	c weakened non-implied lits 3333013
3600.01/3611.60	c weakened non-implying lits 87818
3600.01/3611.60	c original variables 2242
3600.01/3611.60	c clausal propagations 59522281
3600.01/3611.60	c cardinality propagations 726
3600.01/3611.60	c watched propagations 16588024
3600.01/3611.60	c counting propagations 56009543
3600.01/3611.60	c watch lookups 60844369274
3600.01/3611.60	c watch backjump lookups 57538981963
3600.01/3611.60	c watch checks 117915366533
3600.01/3611.60	c propagation checks 39442141267
3600.01/3611.60	c constraint additions 281578037
3600.01/3611.60	c trail pops 134012449
3600.01/3611.60	c formula constraints 4484
3600.01/3611.60	c learned constraints 228240
3600.01/3611.60	c bound constraints 1
3600.01/3611.60	c core-guided constraints 0
3600.01/3611.60	c encountered formula constraints 9203008
3600.01/3611.60	c encountered learned constraints 3143499
3600.01/3611.60	c encountered bound constraints 0
3600.01/3611.60	c encountered core-guided constraints 0
3600.01/3611.60	c LP total time 0 s
3600.01/3611.60	c LP solve time 0 s
3600.01/3611.60	c LP constraints added 0
3600.01/3611.60	c LP constraints removed 0
3600.01/3611.60	c LP pivots internal 0
3600.01/3611.60	c LP pivots root 0
3600.01/3611.60	c LP calls 0
3600.01/3611.60	c LP optimalities 0
3600.01/3611.60	c LP no pivot count 0
3600.01/3611.60	c LP infeasibilities 0
3600.01/3611.60	c LP valid Farkas constraints 0
3600.01/3611.60	c LP learned Farkas constraints 0
3600.01/3611.60	c LP basis resets 0
3600.01/3611.60	c LP cycling count 0
3600.01/3611.60	c LP singular count 0
3600.01/3611.60	c LP no primal count 0
3600.01/3611.60	c LP no farkas count 0
3600.01/3611.60	c LP other issue count 0
3600.01/3611.60	c LP Gomory cuts 0
3600.01/3611.60	c LP learned cuts 0
3600.01/3611.60	c LP deleted cuts 0
3600.01/3611.60	c LP encountered Gomory constraints 0
3600.01/3611.60	c LP encountered Farkas constraints 0
3600.01/3611.60	c LP encountered learned Farkas constraints 0
3600.01/3611.60	c CG auxiliary variables introduced 0
3600.01/3611.60	c CG solutions found 0
3600.01/3611.60	c CG cores constructed 1
3600.01/3611.60	c CG core cardinality constraints returned 0
3600.01/3611.60	c CG unit cores 0
3600.01/3611.60	c CG single cores 1
3600.01/3611.60	c CG blocks removed during cardinality reduction 0
3600.01/3611.60	c CG first core best 0
3600.01/3611.60	c CG decision core best 0
3600.01/3611.60	c CG core reduction tie 0
3600.01/3611.60	c CG core degree average 1.00
3600.01/3611.60	c CG core slack average 3.00
3600.01/3611.60	c CG exhausted 0
3600.01/3611.60	c CG exhaust time 0 s
3600.01/3611.60	c CG trimmed 0
3600.01/3611.60	c CG trim time 0 s
3600.01/3611.60	c CG minimized 0
3600.01/3611.60	c CG minimize time 0 s
3600.01/3611.60	c CG am1 prop time 0 s
3600.01/3611.60	c CG # am1s reformulated 0
3600.01/3611.60	c CG lower bound derived from am1s 0
3600.01/3611.60	c CG # clausal cores 1
3600.01/3611.60	c CG # cardinality cores 0
3600.01/3611.60	c CG # pb cores 0
3600.01/3611.60	c CG # pb reforms 0
3600.01/3611.60	c CG # cores discarded because of pb reform 0
3600.01/3611.60	d LOWERBOUND -206158430207
3600.01/3611.60	d NCORES 1
3600.01/3611.60	d NPBCORES 0
3600.01/3611.60	d NPBREFORM 0
3600.01/3611.60	d NTRIMMED 0
3600.01/3611.60	d NEXHAUSTED 0
3600.01/3611.60	d NAM1S 0
3600.01/3611.60	d AM1LB 0
3600.01/3611.60	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 (63104 MiB free)
  memory of node 1: 64465 MiB (63740 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518866-1751549176/watcher-4518866-1751549176 -o /tmp/evaluation-result-4518866-1751549176/solver-4518866-1751549176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76164 --watchdog 3760 pb-oll-rs HOME/instance-4518866-1751549176.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
Current StackSize limit: 8192 KiB

solver pid=76580, runsolver pid=76577

[startup+0.100068 s]*
/proc/loadavg: 1.04 1.03 1.07 5/250 76581
/proc/meminfo: memFree=129885892/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=20960 memory=7040 CPUtime=0.09 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 643 0 0 0 8 1 0 0 20 0 1 0 70596664 21463040 1760 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 5240 1760 1344 243 0 1489 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20960 KiB
Current children cumulated memory: 7040 KiB

[startup+0.213093 s]*
/proc/loadavg: 1.04 1.03 1.07 5/250 76581
/proc/meminfo: memFree=129885892/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=21092 memory=7168 CPUtime=0.2 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 689 0 0 0 19 1 0 0 20 0 1 0 70596664 21598208 1792 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 5273 1792 1344 243 0 1522 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21092 KiB
Current children cumulated memory: 7168 KiB

[startup+0.312129 s]*
/proc/loadavg: 1.04 1.03 1.07 5/250 76581
/proc/meminfo: memFree=129885892/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=21220 memory=7424 CPUtime=0.3 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 740 0 0 0 28 2 0 0 20 0 1 0 70596664 21729280 1856 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 5305 1856 1344 243 0 1554 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21220 KiB
Current children cumulated memory: 7424 KiB

[startup+0.700276 s]
/proc/loadavg: 1.04 1.03 1.07 5/250 76581
/proc/meminfo: memFree=129885892/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=21612 memory=8320 CPUtime=0.67 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 987 0 0 0 64 3 0 0 20 0 1 0 70596664 22130688 2080 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 5403 2080 1344 243 0 1652 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 21612 KiB
Current children cumulated memory: 8320 KiB

[startup+1.50027 s]
/proc/loadavg: 1.04 1.03 1.07 5/250 76581
/proc/meminfo: memFree=129883372/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=22412 memory=11152 CPUtime=1.47 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 1202 0 0 0 143 4 0 0 20 0 1 0 70596664 22949888 2788 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 5603 2788 1344 243 0 1852 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 22412 KiB
Current children cumulated memory: 11152 KiB

[startup+3.11295 s]
/proc/loadavg: 1.04 1.03 1.07 4/246 76589
/proc/meminfo: memFree=129877260/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=24024 memory=12944 CPUtime=3.08 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 1630 0 0 0 302 6 0 0 20 0 1 0 70596664 24600576 3236 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 6006 3236 1344 243 0 2255 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 24024 KiB
Current children cumulated memory: 12944 KiB

[startup+6.30026 s]
/proc/loadavg: 1.35 1.09 1.09 5/251 76673
/proc/meminfo: memFree=129791332/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=25888 memory=15504 CPUtime=6.25 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 2294 0 0 0 615 10 0 0 20 0 1 0 70596664 26509312 3876 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 6472 3876 1344 243 0 2721 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 25888 KiB
Current children cumulated memory: 15504 KiB

[startup+12.7003 s]
/proc/loadavg: 1.57 1.14 1.10 5/249 76713
/proc/meminfo: memFree=129843744/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=31392 memory=20368 CPUtime=12.63 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 3538 0 0 0 1247 16 0 0 20 0 1 0 70596664 32145408 5092 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 7848 5092 1344 243 0 4097 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 31392 KiB
Current children cumulated memory: 20368 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 1.28 1.15 5/251 76718
/proc/meminfo: memFree=129817304/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=38020 memory=25616 CPUtime=25.39 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 4370 0 0 0 2513 26 0 0 20 0 1 0 70596664 38932480 6404 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 9505 6404 1344 243 0 5754 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 38020 KiB
Current children cumulated memory: 25616 KiB

[startup+51.1128 s]
/proc/loadavg: 2.75 1.50 1.23 5/251 76718
/proc/meminfo: memFree=129734512/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=41872 memory=30096 CPUtime=50.93 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 5512 0 0 0 5056 37 0 0 20 0 1 0 70596664 42876928 7524 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 10468 7524 1344 243 0 6717 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 41872 KiB
Current children cumulated memory: 30096 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 1.90 1.38 5/251 76720
/proc/meminfo: memFree=129637428/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=52676 memory=36440 CPUtime=101.94 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 6655 0 0 0 10139 55 0 0 20 0 1 0 70596664 53940224 9110 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 13169 9110 1344 243 0 9418 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 52676 KiB
Current children cumulated memory: 36440 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.30 1.55 5/253 76725
/proc/meminfo: memFree=129570828/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=55432 memory=41896 CPUtime=161.75 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 7313 0 0 0 16101 74 0 0 20 0 1 0 70596664 56762368 10474 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 13858 10474 1344 243 0 10107 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 55432 KiB
Current children cumulated memory: 41896 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.64 1.72 5/253 76727
/proc/meminfo: memFree=129505144/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=58024 memory=45756 CPUtime=221.54 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 7841 0 0 0 22069 85 0 0 20 0 1 0 70596664 59416576 11439 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 14506 11439 1344 243 0 10755 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 58024 KiB
Current children cumulated memory: 45756 KiB

[startup+282.3 s]
/proc/loadavg: 4.02 2.89 1.86 5/254 76734
/proc/meminfo: memFree=129438440/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=59436 memory=47032 CPUtime=281.32 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 8238 0 0 0 28037 95 0 0 20 0 1 0 70596664 60862464 11758 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 14859 11758 1344 243 0 11108 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 59436 KiB
Current children cumulated memory: 47032 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.13 2.01 5/252 76736
/proc/meminfo: memFree=129367052/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=73388 memory=50340 CPUtime=341.11 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 9117 0 0 0 34008 103 0 0 20 0 1 0 70596664 75149312 12585 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 18347 12585 1344 243 0 14596 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 73388 KiB
Current children cumulated memory: 50340 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.31 2.14 5/252 76783
/proc/meminfo: memFree=129479448/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=73744 memory=50724 CPUtime=400.88 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 9243 0 0 0 39971 117 0 0 20 0 1 0 70596664 75513856 12681 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 18436 12681 1344 243 0 14685 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 73744 KiB
Current children cumulated memory: 50724 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.46 2.27 5/250 76785
/proc/meminfo: memFree=129449628/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=77424 memory=59136 CPUtime=460.68 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 9925 0 0 0 45940 128 0 0 20 0 1 0 70596664 79282176 14784 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 19356 14784 1344 243 0 15605 0
Current children cumulated CPU time: 460.68 s

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

Current children cumulated memory: 234652 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/249 76905
/proc/meminfo: memFree=129034560/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283532 memory=234652 CPUtime=2853.01 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29691 0 0 0 285034 267 0 0 20 0 1 0 70596664 290336768 58663 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70883 58663 1344 243 0 67132 0
Current children cumulated CPU time: 2853.01 s
Current children cumulated vsize: 283532 KiB
Current children cumulated memory: 234652 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/249 76907
/proc/meminfo: memFree=129034248/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283532 memory=234652 CPUtime=2912.81 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29691 0 0 0 291012 269 0 0 20 0 1 0 70596664 290336768 58663 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70883 58663 1344 243 0 67132 0
Current children cumulated CPU time: 2912.81 s
Current children cumulated vsize: 283532 KiB
Current children cumulated memory: 234652 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/249 76909
/proc/meminfo: memFree=129013752/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283532 memory=243996 CPUtime=2972.6 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29697 0 0 0 296989 271 0 0 20 0 1 0 70596664 290336768 60999 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70883 60999 1344 243 0 67132 0
Current children cumulated CPU time: 2972.6 s
Current children cumulated vsize: 283532 KiB
Current children cumulated memory: 243996 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/249 76913
/proc/meminfo: memFree=129004760/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283532 memory=243996 CPUtime=3032.43 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29697 0 0 0 302970 273 0 0 20 0 1 0 70596664 290336768 60999 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70883 60999 1344 243 0 67132 0
Current children cumulated CPU time: 3032.43 s
Current children cumulated vsize: 283532 KiB
Current children cumulated memory: 243996 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/249 76915
/proc/meminfo: memFree=128996052/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3092.25 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29779 0 0 0 308950 275 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3092.25 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/248 76917
/proc/meminfo: memFree=128991004/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3152.07 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29779 0 0 0 314928 279 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3152.07 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/248 76919
/proc/meminfo: memFree=128981016/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3211.89 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29779 0 0 0 320906 283 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3211.89 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/248 76921
/proc/meminfo: memFree=128981208/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3271.71 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29779 0 0 0 326885 286 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3271.71 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/249 76928
/proc/meminfo: memFree=128981124/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3331.53 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29779 0 0 0 332863 290 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3331.53 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 76930
/proc/meminfo: memFree=128966960/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3391.34 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29779 0 0 0 338842 292 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3391.34 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 76932
/proc/meminfo: memFree=128964896/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3451.17 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29779 0 0 0 344820 297 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3451.17 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/249 76934
/proc/meminfo: memFree=128965696/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3510.98 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29779 0 0 0 350797 301 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3510.98 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 76937
/proc/meminfo: memFree=128959788/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3570.8 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29794 0 0 0 356776 304 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 76940
/proc/meminfo: memFree=128958652/131382120 swapFree=33010160/33010684
[pid=76580] ppid=76577 vsize=283860 memory=244252 CPUtime=3600.01 cores=5,7
/proc/76580/stat : 76580 (pb-oll-rs) R 76577 76580 76151 0 -1 4194304 29812 0 0 0 359695 306 0 0 20 0 1 0 70596664 290672640 61063 18446744073709551615 4218880 5211445 140720776123936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 15544320 140720776128924 140720776129001 140720776129001 140720776134603 0
/proc/76580/statm: 70965 61063 1344 243 0 67214 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 283860 KiB
Current children cumulated memory: 244252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.96 s, system=3.06586 s

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

Child status: 0

Real time (s): 3611.6
CPU time (s): 3600.02
CPU user time (s): 3596.96
CPU system time (s): 3.06586
CPU usage (%): 99.6794
Max. virtual memory (cumulated for all children) (KiB): 284064
Max. memory (cumulated for all children) (KiB): 244252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.96
system time used= 3.06586
maximum resident set size= 244380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29826
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= 150
involuntary context switches= 21373


# summary of solver processes directly reported to runsolver:
#   pid: 76580
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3596.96
#   total CPU system time (s): 3.06586

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3893 second user time and 34.9005 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 15:26:16
IDJOB=4518866
IDBENCH=177132
IDSOLVER=3345
FILE ID=nodeC008/4518866-1751549176
RUNJOBID= nodeC008-1751549168-76164
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518866-1751549176/watcher-4518866-1751549176 -o /tmp/evaluation-result-4518866-1751549176/solver-4518866-1751549176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76164 --watchdog 3760  pb-oll-rs HOME/instance-4518866-1751549176.opb

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

MD5SUM BENCH= d7b5082e0c8210cd1db8ac24c14853d2
RANDOM SEED=1949853713

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		: 1296.971
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		: 3662.836
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.284
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.447
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		: 3662.398
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		: 3492.136
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.505
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.211
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:        129889924 kB
MemAvailable:   129898816 kB
Buffers:            2128 kB
Cached:           804260 kB
SwapCached:           16 kB
Active:           663164 kB
Inactive:         285412 kB
Active(anon):     123704 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   249004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8084 kB
Writeback:             0 kB
AnonPages:        145320 kB
Mapped:           106936 kB
Shmem:             17920 kB
KReclaimable:     120108 kB
Slab:             204244 kB
SReclaimable:     120108 kB
SUnreclaim:        84136 kB
KernelStack:        4000 kB
PageTables:         3076 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     475796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 432816 MiB
End job on nodeC008 at 2025-07-03 16:26:27