Trace number 4519234

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.03 3611.02

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
MD5SUM7fa2358c675fac141ded392b1a236afa
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.059018
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1600
Total number of constraints2368
Number of constraints which are clauses1536
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 64
Biggest coefficient in the objective function 2147483648
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 8589934590
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 8589934590
Number of bits of the biggest sum of numbers33
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.03	c [STEP] solving
0.00/0.03	c #variables 1600 #constraints 3200
0.00/0.03	c SMALL=long long, LARGE=int128
0.00/0.03	c bounds - >= -4294967295 @ 0.016141
0.00/0.03	c stratification level: 1073741824
103.82/104.67	c bounds - >= -3221225471 @ 0.016593
103.82/104.67	c #Conflicts:       1000 | #Constraints:       4201
103.82/104.67	c #Conflicts:       2000 | #Constraints:       5201
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:       3000 | #Constraints:       5240
103.82/104.67	c #Conflicts:       4000 | #Constraints:       6240
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:       5000 | #Constraints:       5677
103.82/104.67	c #Conflicts:       6000 | #Constraints:       6677
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:       7000 | #Constraints:       5708
103.82/104.67	c #Conflicts:       8000 | #Constraints:       6708
103.82/104.67	c #Conflicts:       9000 | #Constraints:       7708
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      10000 | #Constraints:       6428
103.82/104.67	c #Conflicts:      11000 | #Constraints:       7428
103.82/104.67	c #Conflicts:      12000 | #Constraints:       8428
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      13000 | #Constraints:       6900
103.82/104.67	c #Conflicts:      14000 | #Constraints:       7900
103.82/104.67	c #Conflicts:      15000 | #Constraints:       8900
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      16000 | #Constraints:       7137
103.82/104.67	c #Conflicts:      17000 | #Constraints:       8137
103.82/104.67	c #Conflicts:      18000 | #Constraints:       9137
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      19000 | #Constraints:       7161
103.82/104.67	c #Conflicts:      20000 | #Constraints:       8161
103.82/104.67	c #Conflicts:      21000 | #Constraints:       9161
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      22000 | #Constraints:       6978
103.82/104.67	c #Conflicts:      23000 | #Constraints:       7978
103.82/104.67	c #Conflicts:      24000 | #Constraints:       8978
103.82/104.67	c #Conflicts:      25000 | #Constraints:       9978
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      26000 | #Constraints:       7596
103.82/104.67	c #Conflicts:      27000 | #Constraints:       8596
103.82/104.67	c #Conflicts:      28000 | #Constraints:       9596
103.82/104.67	c #Conflicts:      29000 | #Constraints:      10596
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      30000 | #Constraints:       8003
103.82/104.67	c #Conflicts:      31000 | #Constraints:       9003
103.82/104.67	c #Conflicts:      32000 | #Constraints:      10003
103.82/104.67	c #Conflicts:      33000 | #Constraints:      11003
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      34000 | #Constraints:       8211
103.82/104.67	c #Conflicts:      35000 | #Constraints:       9211
103.82/104.67	c #Conflicts:      36000 | #Constraints:      10211
103.82/104.67	c #Conflicts:      37000 | #Constraints:      11211
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      38000 | #Constraints:       8219
103.82/104.67	c #Conflicts:      39000 | #Constraints:       9219
103.82/104.67	c #Conflicts:      40000 | #Constraints:      10219
103.82/104.67	c #Conflicts:      41000 | #Constraints:      11219
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      42000 | #Constraints:       8029
103.82/104.67	c #Conflicts:      43000 | #Constraints:       9029
103.82/104.67	c #Conflicts:      44000 | #Constraints:      10029
103.82/104.67	c #Conflicts:      45000 | #Constraints:      11029
103.82/104.67	c #Conflicts:      46000 | #Constraints:      12029
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      47000 | #Constraints:       8631
103.82/104.67	c #Conflicts:      48000 | #Constraints:       9631
103.82/104.67	c #Conflicts:      49000 | #Constraints:      10631
103.82/104.67	c #Conflicts:      50000 | #Constraints:      11631
103.82/104.67	c #Conflicts:      51000 | #Constraints:      12631
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      52000 | #Constraints:       9026
103.82/104.67	c #Conflicts:      53000 | #Constraints:      10026
103.82/104.67	c #Conflicts:      54000 | #Constraints:      11026
103.82/104.67	c #Conflicts:      55000 | #Constraints:      12026
103.82/104.67	c #Conflicts:      56000 | #Constraints:      13026
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      57000 | #Constraints:       9238
103.82/104.67	c #Conflicts:      58000 | #Constraints:      10238
103.82/104.67	c #Conflicts:      59000 | #Constraints:      11238
103.82/104.67	c #Conflicts:      60000 | #Constraints:      12238
103.82/104.67	c #Conflicts:      61000 | #Constraints:      13238
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      62000 | #Constraints:       9241
103.82/104.67	c #Conflicts:      63000 | #Constraints:      10241
103.82/104.67	c #Conflicts:      64000 | #Constraints:      11241
103.82/104.67	c #Conflicts:      65000 | #Constraints:      12241
103.82/104.67	c #Conflicts:      66000 | #Constraints:      13241
103.82/104.67	c INPROCESSING
103.82/104.67	c GARBAGE COLLECT
103.82/104.67	c #Conflicts:      67000 | #Constraints:       9033
730.02/732.98	c #Conflicts:      68000 | #Constraints:      10033
730.02/732.98	c #Conflicts:      69000 | #Constraints:      11033
730.02/732.98	c #Conflicts:      70000 | #Constraints:      12033
730.02/732.98	c #Conflicts:      71000 | #Constraints:      13033
730.02/732.98	c #Conflicts:      72000 | #Constraints:      14033
730.02/732.98	c INPROCESSING
730.02/732.98	c GARBAGE COLLECT
730.02/732.98	c #Conflicts:      73000 | #Constraints:       9640
730.02/732.98	c #Conflicts:      74000 | #Constraints:      10640
730.02/732.98	c #Conflicts:      75000 | #Constraints:      11640
730.02/732.98	c #Conflicts:      76000 | #Constraints:      12640
730.02/732.98	c #Conflicts:      77000 | #Constraints:      13640
730.02/732.98	c #Conflicts:      78000 | #Constraints:      14640
730.02/732.98	c INPROCESSING
730.02/732.98	c GARBAGE COLLECT
730.02/732.98	c #Conflicts:      79000 | #Constraints:      10050
730.02/732.98	c #Conflicts:      80000 | #Constraints:      11050
730.02/732.98	c #Conflicts:      81000 | #Constraints:      12050
730.02/732.98	c #Conflicts:      82000 | #Constraints:      13050
730.02/732.98	c #Conflicts:      83000 | #Constraints:      14050
730.02/732.98	c #Conflicts:      84000 | #Constraints:      15050
730.02/732.98	c INPROCESSING
730.02/732.98	c GARBAGE COLLECT
730.02/732.98	c #Conflicts:      85000 | #Constraints:      10253
730.02/732.98	c #Conflicts:      86000 | #Constraints:      11253
730.02/732.98	c #Conflicts:      87000 | #Constraints:      12253
730.02/732.98	c #Conflicts:      88000 | #Constraints:      13253
730.02/732.98	c #Conflicts:      89000 | #Constraints:      14253
730.02/732.98	c #Conflicts:      90000 | #Constraints:      15253
730.02/732.98	c INPROCESSING
730.02/732.98	c GARBAGE COLLECT
730.02/732.98	c #Conflicts:      91000 | #Constraints:      10258
730.02/732.98	c #Conflicts:      92000 | #Constraints:      11258
730.02/732.98	c #Conflicts:      93000 | #Constraints:      12258
730.02/732.98	c #Conflicts:      94000 | #Constraints:      13258
730.02/732.98	c #Conflicts:      95000 | #Constraints:      14258
730.02/732.98	c #Conflicts:      96000 | #Constraints:      15258
730.02/732.98	c INPROCESSING
730.02/732.98	c GARBAGE COLLECT
730.02/732.98	c #Conflicts:      97000 | #Constraints:      10074
730.02/732.98	c #Conflicts:      98000 | #Constraints:      11074
730.02/732.98	c #Conflicts:      99000 | #Constraints:      12074
730.02/732.98	c #Conflicts:     100000 | #Constraints:      13074
730.02/732.98	c #Conflicts:     101000 | #Constraints:      14074
730.02/732.98	c #Conflicts:     102000 | #Constraints:      15074
730.02/732.98	c #Conflicts:     103000 | #Constraints:      16074
730.02/732.98	c INPROCESSING
730.02/732.98	c GARBAGE COLLECT
730.02/732.98	c #Conflicts:     104000 | #Constraints:      10659
730.02/732.98	c #Conflicts:     105000 | #Constraints:      11659
730.02/732.98	c #Conflicts:     106000 | #Constraints:      12659
730.02/732.98	c #Conflicts:     107000 | #Constraints:      13659
730.02/732.98	c #Conflicts:     108000 | #Constraints:      14659
730.02/732.98	c #Conflicts:     109000 | #Constraints:      15659
730.02/732.98	c #Conflicts:     110000 | #Constraints:      16659
730.02/732.98	c #Conflicts:     111000 | #Constraints:      17659
730.02/732.98	c #Conflicts:     112000 | #Constraints:      18659
730.02/732.98	c #Conflicts:     113000 | #Constraints:      19659
730.02/732.98	c #Conflicts:     114000 | #Constraints:      20659
730.02/732.98	c #Conflicts:     115000 | #Constraints:      21659
730.02/732.98	c #Conflicts:     116000 | #Constraints:      22659
730.02/732.98	c #Conflicts:     117000 | #Constraints:      23659
730.02/732.98	c #Conflicts:     118000 | #Constraints:      24659
730.02/732.98	c #Conflicts:     119000 | #Constraints:      25659
730.02/732.98	c #Conflicts:     120000 | #Constraints:      26659
730.02/732.98	c #Conflicts:     121000 | #Constraints:      27659
730.02/732.98	c #Conflicts:     122000 | #Constraints:      28659
730.02/732.98	c #Conflicts:     123000 | #Constraints:      29659
730.02/732.98	c #Conflicts:     124000 | #Constraints:      30659
730.02/732.98	c #Conflicts:     125000 | #Constraints:      31659
730.02/732.98	c #Conflicts:     126000 | #Constraints:      32659
730.02/732.98	c #Conflicts:     127000 | #Constraints:      33659
730.02/732.98	c #Conflicts:     128000 | #Constraints:      34659
730.02/732.98	c #Conflicts:     129000 | #Constraints:      35659
730.02/732.98	c #Conflicts:     130000 | #Constraints:      36659
730.02/732.98	c #Conflicts:     131000 | #Constraints:      37659
730.02/732.98	c #Conflicts:     132000 | #Constraints:      38659
730.02/732.98	c INPROCESSING
730.02/732.98	c GARBAGE COLLECT
730.02/732.98	c #Conflicts:     133000 | #Constraints:      21841
730.02/732.98	c #Conflicts:     134000 | #Constraints:      22841
730.02/732.98	c #Conflicts:     135000 | #Constraints:      23841
730.02/732.98	c #Conflicts:     136000 | #Constraints:      24841
730.02/732.98	c #Conflicts:     137000 | #Constraints:      25841
730.02/732.98	c #Conflicts:     138000 | #Constraints:      26841
730.02/732.98	c #Conflicts:     139000 | #Constraints:      27841
730.02/732.98	c #Conflicts:     140000 | #Constraints:      28841
730.02/732.98	c INPROCESSING
730.02/732.98	c GARBAGE COLLECT
730.02/732.98	c #Conflicts:     141000 | #Constraints:      16970
1925.61/1931.68	c #Conflicts:     142000 | #Constraints:      17970
1925.61/1931.68	c #Conflicts:     143000 | #Constraints:      18970
1925.61/1931.68	c #Conflicts:     144000 | #Constraints:      19970
1925.61/1931.68	c #Conflicts:     145000 | #Constraints:      20970
1925.61/1931.68	c #Conflicts:     146000 | #Constraints:      21970
1925.61/1931.68	c #Conflicts:     147000 | #Constraints:      22970
1925.61/1931.68	c #Conflicts:     148000 | #Constraints:      23970
1925.61/1931.68	c INPROCESSING
1925.61/1931.68	c GARBAGE COLLECT
1925.61/1931.68	c #Conflicts:     149000 | #Constraints:      14491
1925.61/1931.68	c #Conflicts:     150000 | #Constraints:      15491
1925.61/1931.68	c #Conflicts:     151000 | #Constraints:      16491
1925.61/1931.68	c #Conflicts:     152000 | #Constraints:      17491
1925.61/1931.68	c #Conflicts:     153000 | #Constraints:      18491
1925.61/1931.68	c #Conflicts:     154000 | #Constraints:      19491
1925.61/1931.68	c #Conflicts:     155000 | #Constraints:      20491
1925.61/1931.68	c #Conflicts:     156000 | #Constraints:      21491
1925.61/1931.68	c INPROCESSING
1925.61/1931.68	c GARBAGE COLLECT
1925.61/1931.68	c #Conflicts:     157000 | #Constraints:      13095
1925.61/1931.68	c #Conflicts:     158000 | #Constraints:      14095
1925.61/1931.68	c #Conflicts:     159000 | #Constraints:      15095
1925.61/1931.68	c #Conflicts:     160000 | #Constraints:      16095
1925.61/1931.68	c #Conflicts:     161000 | #Constraints:      17095
1925.61/1931.68	c #Conflicts:     162000 | #Constraints:      18095
1925.61/1931.68	c #Conflicts:     163000 | #Constraints:      19095
1925.61/1931.68	c #Conflicts:     164000 | #Constraints:      20095
1925.61/1931.68	c #Conflicts:     165000 | #Constraints:      21095
1925.61/1931.68	c INPROCESSING
1925.61/1931.68	c GARBAGE COLLECT
1925.61/1931.68	c #Conflicts:     166000 | #Constraints:      13120
1925.61/1931.68	c #Conflicts:     167000 | #Constraints:      14120
1925.61/1931.68	c #Conflicts:     168000 | #Constraints:      15120
1925.61/1931.68	c #Conflicts:     169000 | #Constraints:      16120
1925.61/1931.68	c #Conflicts:     170000 | #Constraints:      17120
1925.61/1931.68	c #Conflicts:     171000 | #Constraints:      18120
1925.61/1931.68	c #Conflicts:     172000 | #Constraints:      19120
1925.61/1931.68	c #Conflicts:     173000 | #Constraints:      20120
1925.61/1931.68	c #Conflicts:     174000 | #Constraints:      21120
1925.61/1931.68	c #Conflicts:     175000 | #Constraints:      22120
1925.61/1931.68	c #Conflicts:     176000 | #Constraints:      23120
1925.61/1931.68	c #Conflicts:     177000 | #Constraints:      24120
1925.61/1931.68	c #Conflicts:     178000 | #Constraints:      25120
1925.61/1931.68	c #Conflicts:     179000 | #Constraints:      26120
1925.61/1931.68	c #Conflicts:     180000 | #Constraints:      27120
1925.61/1931.68	c #Conflicts:     181000 | #Constraints:      28120
1925.61/1931.68	c #Conflicts:     182000 | #Constraints:      29120
1925.61/1931.68	c #Conflicts:     183000 | #Constraints:      30120
1925.61/1931.68	c #Conflicts:     184000 | #Constraints:      31120
1925.61/1931.68	c #Conflicts:     185000 | #Constraints:      32120
1925.61/1931.68	c #Conflicts:     186000 | #Constraints:      33120
1925.61/1931.68	c #Conflicts:     187000 | #Constraints:      34120
1925.61/1931.68	c #Conflicts:     188000 | #Constraints:      35120
1925.61/1931.68	c #Conflicts:     189000 | #Constraints:      36120
1925.61/1931.68	c #Conflicts:     190000 | #Constraints:      37120
1925.61/1931.68	c #Conflicts:     191000 | #Constraints:      38120
1925.61/1931.68	c #Conflicts:     192000 | #Constraints:      39120
1925.61/1931.68	c #Conflicts:     193000 | #Constraints:      40120
1925.61/1931.68	c #Conflicts:     194000 | #Constraints:      41120
1925.61/1931.68	c #Conflicts:     195000 | #Constraints:      42120
1925.61/1931.68	c #Conflicts:     196000 | #Constraints:      43120
1925.61/1931.68	c #Conflicts:     197000 | #Constraints:      44120
1925.61/1931.68	c #Conflicts:     198000 | #Constraints:      45120
1925.61/1931.68	c #Conflicts:     199000 | #Constraints:      46120
1925.61/1931.68	c #Conflicts:     200000 | #Constraints:      47120
1925.61/1931.68	c #Conflicts:     201000 | #Constraints:      48120
1925.61/1931.68	c INPROCESSING
1925.61/1931.68	c GARBAGE COLLECT
1925.61/1931.68	c #Conflicts:     202000 | #Constraints:      26812
1925.61/1931.68	c #Conflicts:     203000 | #Constraints:      27812
1925.61/1931.68	c #Conflicts:     204000 | #Constraints:      28812
1925.61/1931.68	c #Conflicts:     205000 | #Constraints:      29812
1925.61/1931.68	c #Conflicts:     206000 | #Constraints:      30812
1925.61/1931.68	c #Conflicts:     207000 | #Constraints:      31812
1925.61/1931.68	c #Conflicts:     208000 | #Constraints:      32812
1925.61/1931.68	c #Conflicts:     209000 | #Constraints:      33812
1925.61/1931.68	c #Conflicts:     210000 | #Constraints:      34812
1925.61/1931.68	c INPROCESSING
1925.61/1931.68	c GARBAGE COLLECT
1925.61/1931.68	c #Conflicts:     211000 | #Constraints:      19749
1925.61/1931.68	c #Conflicts:     212000 | #Constraints:      20749
1925.61/1931.68	c #Conflicts:     213000 | #Constraints:      21749
1925.61/1931.68	c #Conflicts:     214000 | #Constraints:      22749
1925.61/1931.68	c #Conflicts:     215000 | #Constraints:      23749
1925.61/1931.68	c #Conflicts:     216000 | #Constraints:      24749
3600.01/3611.01	c #Conflicts:     217000 | #Constraints:      25749
3600.01/3611.01	c #Conflicts:     218000 | #Constraints:      26749
3600.01/3611.01	c #Conflicts:     219000 | #Constraints:      27749
3600.01/3611.01	c #Conflicts:     220000 | #Constraints:      28749
3600.01/3611.01	c INPROCESSING
3600.01/3611.01	c GARBAGE COLLECT
3600.01/3611.01	c #Conflicts:     221000 | #Constraints:      16726
3600.01/3611.01	c #Conflicts:     222000 | #Constraints:      17726
3600.01/3611.01	c #Conflicts:     223000 | #Constraints:      18726
3600.01/3611.01	c #Conflicts:     224000 | #Constraints:      19726
3600.01/3611.01	c #Conflicts:     225000 | #Constraints:      20726
3600.01/3611.01	c #Conflicts:     226000 | #Constraints:      21726
3600.01/3611.01	c #Conflicts:     227000 | #Constraints:      22726
3600.01/3611.01	c #Conflicts:     228000 | #Constraints:      23726
3600.01/3611.01	c #Conflicts:     229000 | #Constraints:      24726
3600.01/3611.01	c #Conflicts:     230000 | #Constraints:      25726
3600.01/3611.01	c #Conflicts:     231000 | #Constraints:      26726
3600.01/3611.01	c INPROCESSING
3600.01/3611.01	c GARBAGE COLLECT
3600.01/3611.01	c #Conflicts:     232000 | #Constraints:      16116
3600.01/3611.01	c #Conflicts:     233000 | #Constraints:      17116
3600.01/3611.01	c #Conflicts:     234000 | #Constraints:      18116
3600.01/3611.01	c #Conflicts:     235000 | #Constraints:      19116
3600.01/3611.01	c #Conflicts:     236000 | #Constraints:      20116
3600.01/3611.01	c #Conflicts:     237000 | #Constraints:      21116
3600.01/3611.01	c #Conflicts:     238000 | #Constraints:      22116
3600.01/3611.01	c #Conflicts:     239000 | #Constraints:      23116
3600.01/3611.01	c #Conflicts:     240000 | #Constraints:      24116
3600.01/3611.01	c #Conflicts:     241000 | #Constraints:      25116
3600.01/3611.01	c INPROCESSING
3600.01/3611.01	c GARBAGE COLLECT
3600.01/3611.01	c #Conflicts:     242000 | #Constraints:      15103
3600.01/3611.01	c #Conflicts:     243000 | #Constraints:      16103
3600.01/3611.01	c #Conflicts:     244000 | #Constraints:      17103
3600.01/3611.01	c #Conflicts:     245000 | #Constraints:      18103
3600.01/3611.01	c #Conflicts:     246000 | #Constraints:      19103
3600.01/3611.01	c #Conflicts:     247000 | #Constraints:      20103
3600.01/3611.01	c #Conflicts:     248000 | #Constraints:      21103
3600.01/3611.01	c #Conflicts:     249000 | #Constraints:      22103
3600.01/3611.01	c #Conflicts:     250000 | #Constraints:      23103
3600.01/3611.01	c #Conflicts:     251000 | #Constraints:      24103
3600.01/3611.01	c #Conflicts:     252000 | #Constraints:      25103
3600.01/3611.01	c #Conflicts:     253000 | #Constraints:      26103
3600.01/3611.01	c #Conflicts:     254000 | #Constraints:      27103
3600.01/3611.01	c #Conflicts:     255000 | #Constraints:      28103
3600.01/3611.01	c #Conflicts:     256000 | #Constraints:      29103
3600.01/3611.01	c #Conflicts:     257000 | #Constraints:      30103
3600.01/3611.01	c #Conflicts:     258000 | #Constraints:      31103
3600.01/3611.01	c #Conflicts:     259000 | #Constraints:      32103
3600.01/3611.01	c #Conflicts:     260000 | #Constraints:      33103
3600.01/3611.01	c #Conflicts:     261000 | #Constraints:      34103
3600.01/3611.01	c #Conflicts:     262000 | #Constraints:      35103
3600.01/3611.01	c #Conflicts:     263000 | #Constraints:      36103
3600.01/3611.01	c #Conflicts:     264000 | #Constraints:      37103
3600.01/3611.01	c #Conflicts:     265000 | #Constraints:      38103
3600.01/3611.01	c #Conflicts:     266000 | #Constraints:      39103
3600.01/3611.01	c #Conflicts:     267000 | #Constraints:      40103
3600.01/3611.01	c #Conflicts:     268000 | #Constraints:      41103
3600.01/3611.01	c #Conflicts:     269000 | #Constraints:      42103
3600.01/3611.01	c #Conflicts:     270000 | #Constraints:      43103
3600.01/3611.01	c #Conflicts:     271000 | #Constraints:      44103
3600.01/3611.01	c #Conflicts:     272000 | #Constraints:      45103
3600.01/3611.01	c #Conflicts:     273000 | #Constraints:      46103
3600.01/3611.01	c #Conflicts:     274000 | #Constraints:      47103
3600.01/3611.01	c #Conflicts:     275000 | #Constraints:      48103
3600.01/3611.01	c #Conflicts:     276000 | #Constraints:      49103
3600.01/3611.01	c #Conflicts:     277000 | #Constraints:      50103
3600.01/3611.01	c #Conflicts:     278000 | #Constraints:      51103
3600.01/3611.01	c #Conflicts:     279000 | #Constraints:      52103
3600.01/3611.01	c #Conflicts:     280000 | #Constraints:      53103
3600.01/3611.01	c Program interrupted by user.
3600.01/3611.01	c cpu time 3597.28 s
3600.01/3611.01	c deterministic time 295422756059 2.95e+11
3600.01/3611.01	c optimization time 1259.01 s
3600.01/3611.01	c total solve time 2338.26 s
3600.01/3611.01	c core-guided solve time 2338.26 s
3600.01/3611.01	c propagation time 3158.82 s
3600.01/3611.01	c conflict analysis time 428.605 s
3600.01/3611.01	c propagations 108491284
3600.01/3611.01	c resolve steps 14578058
3600.01/3611.01	c decisions 1166101
3600.01/3611.01	c conflicts 280858
3600.01/3611.01	c restarts 667
3600.01/3611.01	c inprocessing phases 34
3600.01/3611.01	c input clauses 2240
3600.01/3611.01	c input cardinalities 0
3600.01/3611.01	c input general constraints 961
3600.01/3611.01	c input average constraint length 3.06
3600.01/3611.01	c input average constraint degree 335441.08
3600.01/3611.01	c learned clauses 41911
3600.01/3611.01	c learned cardinalities 14
3600.01/3611.01	c learned general constraints 238934
3600.01/3611.01	c learned average constraint length 234.09
3600.01/3611.01	c learned average constraint degree 254397975.79
3600.01/3611.01	c watched constraints 237438
3600.01/3611.01	c counting constraints 2457
3600.01/3611.01	c gcd simplifications 12806
3600.01/3611.01	c detected cardinalities 2
3600.01/3611.01	c weakened non-implied lits 5511432
3600.01/3611.01	c weakened non-implying lits 83290
3600.01/3611.01	c original variables 1600
3600.01/3611.01	c clausal propagations 46817622
3600.01/3611.01	c cardinality propagations 1701
3600.01/3611.01	c watched propagations 16663934
3600.01/3611.01	c counting propagations 44909902
3600.01/3611.01	c watch lookups 64104516901
3600.01/3611.01	c watch backjump lookups 58545682189
3600.01/3611.01	c watch checks 136080626023
3600.01/3611.01	c propagation checks 36171840382
3600.01/3611.01	c constraint additions 300495170
3600.01/3611.01	c trail pops 109938008
3600.01/3611.01	c formula constraints 3200
3600.01/3611.01	c learned constraints 280859
3600.01/3611.01	c bound constraints 1
3600.01/3611.01	c core-guided constraints 0
3600.01/3611.01	c encountered formula constraints 10880078
3600.01/3611.01	c encountered learned constraints 3978838
3600.01/3611.01	c encountered bound constraints 0
3600.01/3611.01	c encountered core-guided constraints 0
3600.01/3611.01	c LP total time 0 s
3600.01/3611.01	c LP solve time 0 s
3600.01/3611.01	c LP constraints added 0
3600.01/3611.01	c LP constraints removed 0
3600.01/3611.01	c LP pivots internal 0
3600.01/3611.01	c LP pivots root 0
3600.01/3611.01	c LP calls 0
3600.01/3611.01	c LP optimalities 0
3600.01/3611.01	c LP no pivot count 0
3600.01/3611.01	c LP infeasibilities 0
3600.01/3611.01	c LP valid Farkas constraints 0
3600.01/3611.01	c LP learned Farkas constraints 0
3600.01/3611.01	c LP basis resets 0
3600.01/3611.01	c LP cycling count 0
3600.01/3611.01	c LP singular count 0
3600.01/3611.01	c LP no primal count 0
3600.01/3611.01	c LP no farkas count 0
3600.01/3611.01	c LP other issue count 0
3600.01/3611.01	c LP Gomory cuts 0
3600.01/3611.01	c LP learned cuts 0
3600.01/3611.01	c LP deleted cuts 0
3600.01/3611.01	c LP encountered Gomory constraints 0
3600.01/3611.01	c LP encountered Farkas constraints 0
3600.01/3611.01	c LP encountered learned Farkas constraints 0
3600.01/3611.01	c CG auxiliary variables introduced 0
3600.01/3611.01	c CG solutions found 0
3600.01/3611.01	c CG cores constructed 1
3600.01/3611.01	c CG core cardinality constraints returned 0
3600.01/3611.01	c CG unit cores 0
3600.01/3611.01	c CG single cores 1
3600.01/3611.01	c CG blocks removed during cardinality reduction 0
3600.01/3611.01	c CG first core best 0
3600.01/3611.01	c CG decision core best 0
3600.01/3611.01	c CG core reduction tie 0
3600.01/3611.01	c CG core degree average 1.00
3600.01/3611.01	c CG core slack average 3.00
3600.01/3611.01	c CG exhausted 0
3600.01/3611.01	c CG exhaust time 0 s
3600.01/3611.01	c CG trimmed 0
3600.01/3611.01	c CG trim time 4.6e-05 s
3600.01/3611.01	c CG minimized 0
3600.01/3611.01	c CG minimize time 0 s
3600.01/3611.01	c CG am1 prop time 4e-05 s
3600.01/3611.01	c CG # am1s reformulated 0
3600.01/3611.01	c CG lower bound derived from am1s 0
3600.01/3611.01	c CG # clausal cores 1
3600.01/3611.01	c CG # cardinality cores 0
3600.01/3611.01	c CG # pb cores 0
3600.01/3611.01	c CG # pb reforms 0
3600.01/3611.01	c CG # cores discarded because of pb reform 0
3600.01/3611.01	d LOWERBOUND -3221225471
3600.01/3611.01	d NCORES 1
3600.01/3611.01	d NPBCORES 0
3600.01/3611.01	d NPBREFORM 0
3600.01/3611.01	d NTRIMMED 0
3600.01/3611.01	d NEXHAUSTED 0
3600.01/3611.01	d NAM1S 0
3600.01/3611.01	d AM1LB 0
3600.01/3611.01	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 (62895 MiB free)
  memory of node 1: 64465 MiB (63660 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519234-1751553031/watcher-4519234-1751553031 -o /tmp/evaluation-result-4519234-1751553031/solver-4519234-1751553031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76164 --watchdog 3760 pb-oll-rs HOME/instance-4519234-1751553031.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=77126, runsolver pid=77123

[startup+0.100074 s]*
/proc/loadavg: 4.10 4.11 4.09 5/250 77127
/proc/meminfo: memFree=129593880/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=20568 memory=6784 CPUtime=0.09 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 519 0 0 0 8 1 0 0 20 0 1 0 70982264 21061632 1696 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 5142 1696 1376 243 0 1391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20568 KiB
Current children cumulated memory: 6784 KiB

[startup+0.21316 s]*
/proc/loadavg: 4.10 4.11 4.09 5/250 77127
/proc/meminfo: memFree=129593880/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=20696 memory=6912 CPUtime=0.18 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 566 0 0 0 17 1 0 0 20 0 1 0 70982264 21192704 1728 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 5174 1728 1376 243 0 1423 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 20696 KiB
Current children cumulated memory: 6912 KiB

[startup+0.314238 s]*
/proc/loadavg: 4.10 4.11 4.09 5/250 77127
/proc/meminfo: memFree=129593880/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=20696 memory=7168 CPUtime=0.27 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 604 0 0 0 26 1 0 0 20 0 1 0 70982264 21192704 1792 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 5174 1792 1376 243 0 1423 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 20696 KiB
Current children cumulated memory: 7168 KiB

[startup+0.700215 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 77127
/proc/meminfo: memFree=129593880/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=21216 memory=8064 CPUtime=0.61 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 835 0 0 0 59 2 0 0 20 0 1 0 70982264 21725184 2016 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 5304 2016 1376 243 0 1553 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 21216 KiB
Current children cumulated memory: 8064 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 77127
/proc/meminfo: memFree=129592116/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=21884 memory=11112 CPUtime=1.41 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 1107 0 0 0 137 4 0 0 20 0 1 0 70982264 22409216 2778 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 5471 2778 1376 243 0 1720 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 21884 KiB
Current children cumulated memory: 11112 KiB

[startup+3.10575 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 77127
/proc/meminfo: memFree=129597608/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=23320 memory=12648 CPUtime=2.99 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 1472 0 0 0 293 6 0 0 20 0 1 0 70982264 23879680 3162 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 5830 3162 1376 243 0 2079 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 23320 KiB
Current children cumulated memory: 12648 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 77127
/proc/meminfo: memFree=129591504/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=24708 memory=14568 CPUtime=6.16 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 1961 0 0 0 606 10 0 0 20 0 1 0 70982264 25300992 3642 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 6177 3642 1376 243 0 2426 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 24708 KiB
Current children cumulated memory: 14568 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.09 5/250 77127
/proc/meminfo: memFree=129586968/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=29652 memory=19432 CPUtime=12.5 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 3213 0 0 0 1235 15 0 0 20 0 1 0 70982264 30363648 4858 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 7413 4858 1376 243 0 3662 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 29652 KiB
Current children cumulated memory: 19432 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 77129
/proc/meminfo: memFree=129588612/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=36712 memory=22760 CPUtime=25.17 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 4103 0 0 0 2495 22 0 0 20 0 1 0 70982264 37593088 5690 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 9178 5690 1376 243 0 5427 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 36712 KiB
Current children cumulated memory: 22760 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 77129
/proc/meminfo: memFree=129562052/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=38968 memory=26800 CPUtime=50.54 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 4636 0 0 0 5021 33 0 0 20 0 1 0 70982264 39903232 6700 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 9742 6700 1376 243 0 5991 0
Current children cumulated CPU time: 50.54 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 26800 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 77135
/proc/meminfo: memFree=129537712/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=49840 memory=34084 CPUtime=101.53 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 6057 0 0 0 10101 52 0 0 20 0 1 0 70982264 51036160 8521 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 12460 8521 1376 243 0 8709 0
Current children cumulated CPU time: 101.53 s
Current children cumulated vsize: 49840 KiB
Current children cumulated memory: 34084 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/249 77227
/proc/meminfo: memFree=129567572/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=53424 memory=39824 CPUtime=161.32 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 6823 0 0 0 16063 69 0 0 20 0 1 0 70982264 54706176 9956 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 13356 9956 1376 243 0 9605 0
Current children cumulated CPU time: 161.32 s
Current children cumulated vsize: 53424 KiB
Current children cumulated memory: 39824 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/253 77278
/proc/meminfo: memFree=128587184/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=56032 memory=43816 CPUtime=221.11 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 7338 0 0 0 22031 80 0 0 20 0 1 0 70982264 57376768 10954 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 14008 10954 1376 243 0 10257 0
Current children cumulated CPU time: 221.11 s
Current children cumulated vsize: 56032 KiB
Current children cumulated memory: 43816 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/253 77280
/proc/meminfo: memFree=128466004/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=76168 memory=58600 CPUtime=280.9 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 9543 0 0 0 27998 92 0 0 20 0 1 0 70982264 77996032 14650 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 19042 14650 1376 243 0 15291 0
Current children cumulated CPU time: 280.9 s
Current children cumulated vsize: 76168 KiB
Current children cumulated memory: 58600 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/253 77282
/proc/meminfo: memFree=128397340/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=104752 memory=76680 CPUtime=340.67 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 12020 0 0 0 33966 101 0 0 20 0 1 0 70982264 107266048 19170 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 26188 19170 1376 243 0 22437 0
Current children cumulated CPU time: 340.67 s
Current children cumulated vsize: 104752 KiB
Current children cumulated memory: 76680 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 77287
/proc/meminfo: memFree=128243052/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=113628 memory=90024 CPUtime=400.44 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 13837 0 0 0 39937 107 0 0 20 0 1 0 70982264 116355072 22506 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 28407 22506 1376 243 0 24656 0
Current children cumulated CPU time: 400.44 s
Current children cumulated vsize: 113628 KiB
Current children cumulated memory: 90024 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 77289
/proc/meminfo: memFree=128167328/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=119132 memory=100852 CPUtime=460.22 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 15033 0 0 0 45909 113 0 0 20 0 1 0 70982264 121991168 25213 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 29783 25213 1376 243 0 26032 0
Current children cumulated CPU time: 460.22 s

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

Current children cumulated memory: 178164 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 77591
/proc/meminfo: memFree=129121796/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=189884 memory=178164 CPUtime=2853.54 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 24519 0 0 0 285102 252 0 0 20 0 1 0 70982264 194441216 44541 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 47471 44541 1376 243 0 43720 0
Current children cumulated CPU time: 2853.54 s
Current children cumulated vsize: 189884 KiB
Current children cumulated memory: 178164 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 77593
/proc/meminfo: memFree=129118648/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=189884 memory=178164 CPUtime=2913.37 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 24519 0 0 0 291084 253 0 0 20 0 1 0 70982264 194441216 44541 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 47471 44541 1376 243 0 43720 0
Current children cumulated CPU time: 2913.37 s
Current children cumulated vsize: 189884 KiB
Current children cumulated memory: 178164 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 77595
/proc/meminfo: memFree=129102852/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=189884 memory=178164 CPUtime=2973.2 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 24519 0 0 0 297065 255 0 0 20 0 1 0 70982264 194441216 44541 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 47471 44541 1376 243 0 43720 0
Current children cumulated CPU time: 2973.2 s
Current children cumulated vsize: 189884 KiB
Current children cumulated memory: 178164 KiB

[startup+3042.3 s]
/proc/loadavg: 4.63 4.23 4.14 5/249 77597
/proc/meminfo: memFree=129074180/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=190348 memory=178292 CPUtime=3033.03 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 24594 0 0 0 303046 257 0 0 20 0 1 0 70982264 194916352 44573 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 47587 44573 1376 243 0 43836 0
Current children cumulated CPU time: 3033.03 s
Current children cumulated vsize: 190348 KiB
Current children cumulated memory: 178292 KiB

[startup+3102.3 s]
/proc/loadavg: 4.42 4.26 4.16 5/249 77599
/proc/meminfo: memFree=129071568/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=190976 memory=178420 CPUtime=3092.85 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 24728 0 0 0 309027 258 0 0 20 0 1 0 70982264 195559424 44605 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 47744 44605 1376 243 0 43993 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 190976 KiB
Current children cumulated memory: 178420 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.22 4.15 5/250 77606
/proc/meminfo: memFree=129072920/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=191996 memory=179060 CPUtime=3152.68 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 24888 0 0 0 315008 260 0 0 20 0 1 0 70982264 196603904 44765 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 47999 44765 1376 243 0 44248 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 191996 KiB
Current children cumulated memory: 179060 KiB

[startup+3222.3 s]
/proc/loadavg: 4.65 4.34 4.19 5/250 77608
/proc/meminfo: memFree=129060892/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=192884 memory=179444 CPUtime=3212.52 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 25066 0 0 0 320990 262 0 0 20 0 1 0 70982264 197513216 44861 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 48221 44861 1376 243 0 44470 0
Current children cumulated CPU time: 3212.52 s
Current children cumulated vsize: 192884 KiB
Current children cumulated memory: 179444 KiB

[startup+3282.3 s]
/proc/loadavg: 4.50 4.37 4.21 5/250 77610
/proc/meminfo: memFree=129057024/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=195160 memory=180332 CPUtime=3272.35 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 25528 0 0 0 326971 264 0 0 20 0 1 0 70982264 199843840 45083 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 48790 45083 1376 243 0 45039 0
Current children cumulated CPU time: 3272.35 s
Current children cumulated vsize: 195160 KiB
Current children cumulated memory: 180332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.31 4.20 5/250 77612
/proc/meminfo: memFree=129054880/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=247136 memory=185560 CPUtime=3332.17 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 26581 0 0 0 332950 267 0 0 20 0 1 0 70982264 253067264 46390 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 61784 46390 1376 243 0 58033 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 247136 KiB
Current children cumulated memory: 185560 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.27 4.19 5/251 77706
/proc/meminfo: memFree=129483664/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=249032 memory=188396 CPUtime=3391.97 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 26975 0 0 0 338928 269 0 0 20 0 1 0 70982264 255008768 47099 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 62258 47099 1376 243 0 58507 0
Current children cumulated CPU time: 3391.97 s
Current children cumulated vsize: 249032 KiB
Current children cumulated memory: 188396 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.25 4.18 5/250 77708
/proc/meminfo: memFree=129425492/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=251652 memory=197608 CPUtime=3451.76 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 27537 0 0 0 344905 271 0 0 20 0 1 0 70982264 257691648 49402 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 62913 49402 1376 243 0 59162 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 251652 KiB
Current children cumulated memory: 197608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/250 77710
/proc/meminfo: memFree=129377596/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=253432 memory=200628 CPUtime=3511.56 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 27911 0 0 0 350883 273 0 0 20 0 1 0 70982264 259514368 50157 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 63358 50157 1376 243 0 59607 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 253432 KiB
Current children cumulated memory: 200628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/250 77711
/proc/meminfo: memFree=129360924/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=255640 memory=203488 CPUtime=3571.39 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 28382 0 0 0 356865 274 0 0 20 0 1 0 70982264 261775360 50872 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 63910 50872 1376 243 0 60159 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 255640 KiB
Current children cumulated memory: 203488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.14 4.20 4.18 5/250 77712
/proc/meminfo: memFree=129348472/131382120 swapFree=33010160/33010684
[pid=77126] ppid=77123 vsize=256524 memory=205784 CPUtime=3600.01 cores=5,7
/proc/77126/stat : 77126 (pb-oll-rs) R 77123 77126 76151 0 -1 4194304 28565 0 0 0 359727 274 0 0 20 0 1 0 70982264 262680576 51446 18446744073709551615 4218880 5211445 140727571032080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 13148160 140727571040668 140727571040745 140727571040745 140727571046347 0
/proc/77126/statm: 64131 51446 1376 243 0 60380 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 256524 KiB
Current children cumulated memory: 205784 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.28 s, system=2.74901 s

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

Child status: 0

Real time (s): 3611.02
CPU time (s): 3600.03
CPU user time (s): 3597.28
CPU system time (s): 2.74901
CPU usage (%): 99.6957
Max. virtual memory (cumulated for all children) (KiB): 256524
Max. memory (cumulated for all children) (KiB): 205784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.28
system time used= 2.74901
maximum resident set size= 206040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28580
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= 187
involuntary context switches= 21353


# summary of solver processes directly reported to runsolver:
#   pid: 77126
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3597.28
#   total CPU system time (s): 2.74901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2544 second user time and 35.4932 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 16:30:32
IDJOB=4519234
IDBENCH=177196
IDSOLVER=3345
FILE ID=nodeC008/4519234-1751553031
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_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519234-1751553031/watcher-4519234-1751553031 -o /tmp/evaluation-result-4519234-1751553031/solver-4519234-1751553031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76164 --watchdog 3760  pb-oll-rs HOME/instance-4519234-1751553031.opb

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

MD5SUM BENCH= 7fa2358c675fac141ded392b1a236afa
RANDOM SEED=1525916085

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		: 3491.862
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		: 3591.633
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.704
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.639
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		: 3661.084
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.326
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		: 3700.000
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.209
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:        129593880 kB
MemAvailable:   129604800 kB
Buffers:            2128 kB
Cached:           806164 kB
SwapCached:           16 kB
Active:           931444 kB
Inactive:         287320 kB
Active(anon):     391984 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   250912 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1692 kB
Writeback:            16 kB
AnonPages:        413604 kB
Mapped:           107584 kB
Shmem:             17920 kB
KReclaimable:     120352 kB
Slab:             204640 kB
SReclaimable:     120352 kB
SUnreclaim:        84288 kB
KernelStack:        4060 kB
PageTables:         3976 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     775880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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 17:30:43