Trace number 4519970

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-06SAT (TO)-22 3600.04 3609.73

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb
MD5SUM352d46e2b577dcfb3a10b12d10bca5f2
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 benchmark-22
Best CPU time to get the best result obtained on this benchmark0.043162
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables990
Total number of constraints319
Number of constraints which are clauses264
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint3
Maximum length of a constraint23
Number of terms in the objective function 726
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 726
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 726
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.01	c [STEP] solving
0.00/0.01	c #variables 990 #constraints 319
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -726 @ 0.001538
0.00/0.01	c stratification level: 0
0.00/0.03	c bounds - >= -32 @ 0.008204
0.00/0.03	c finalizing WCE round: reformulating cores
286.67/287.46	c bounds -22 >= -32 @ 0.090217
286.67/287.46	c bounds -22 >= -31 @ 0.096158
286.67/287.46	c #Conflicts:       1000 | #Constraints:       1359
286.67/287.46	c #Conflicts:       2000 | #Constraints:       2359
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:       3000 | #Constraints:       2376
286.67/287.46	c #Conflicts:       4000 | #Constraints:       3376
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:       5000 | #Constraints:       2789
286.67/287.46	c #Conflicts:       6000 | #Constraints:       3789
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:       7000 | #Constraints:       2796
286.67/287.46	c #Conflicts:       8000 | #Constraints:       3796
286.67/287.46	c #Conflicts:       9000 | #Constraints:       4796
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      10000 | #Constraints:       3499
286.67/287.46	c #Conflicts:      11000 | #Constraints:       4499
286.67/287.46	c #Conflicts:      12000 | #Constraints:       5499
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      13000 | #Constraints:       3951
286.67/287.46	c #Conflicts:      14000 | #Constraints:       4951
286.67/287.46	c #Conflicts:      15000 | #Constraints:       5951
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      16000 | #Constraints:       4172
286.67/287.46	c #Conflicts:      17000 | #Constraints:       5172
286.67/287.46	c #Conflicts:      18000 | #Constraints:       6172
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      19000 | #Constraints:       4191
286.67/287.46	c #Conflicts:      20000 | #Constraints:       5191
286.67/287.46	c #Conflicts:      21000 | #Constraints:       6191
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      22000 | #Constraints:       3997
286.67/287.46	c #Conflicts:      23000 | #Constraints:       4997
286.67/287.46	c #Conflicts:      24000 | #Constraints:       5997
286.67/287.46	c #Conflicts:      25000 | #Constraints:       6997
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      26000 | #Constraints:       4598
286.67/287.46	c #Conflicts:      27000 | #Constraints:       5598
286.67/287.46	c #Conflicts:      28000 | #Constraints:       6598
286.67/287.46	c #Conflicts:      29000 | #Constraints:       7598
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      30000 | #Constraints:       5006
286.67/287.46	c #Conflicts:      31000 | #Constraints:       6006
286.67/287.46	c #Conflicts:      32000 | #Constraints:       7006
286.67/287.46	c #Conflicts:      33000 | #Constraints:       8006
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      34000 | #Constraints:       5205
286.67/287.46	c #Conflicts:      35000 | #Constraints:       6205
286.67/287.46	c #Conflicts:      36000 | #Constraints:       7205
286.67/287.46	c #Conflicts:      37000 | #Constraints:       8205
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      38000 | #Constraints:       5206
286.67/287.46	c #Conflicts:      39000 | #Constraints:       6206
286.67/287.46	c #Conflicts:      40000 | #Constraints:       7206
286.67/287.46	c #Conflicts:      41000 | #Constraints:       8206
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      42000 | #Constraints:       5000
286.67/287.46	c #Conflicts:      43000 | #Constraints:       6000
286.67/287.46	c #Conflicts:      44000 | #Constraints:       7000
286.67/287.46	c #Conflicts:      45000 | #Constraints:       8000
286.67/287.46	c #Conflicts:      46000 | #Constraints:       9000
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      47000 | #Constraints:       5604
286.67/287.46	c #Conflicts:      48000 | #Constraints:       6604
286.67/287.46	c #Conflicts:      49000 | #Constraints:       7604
286.67/287.46	c #Conflicts:      50000 | #Constraints:       8604
286.67/287.46	c #Conflicts:      51000 | #Constraints:       9604
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      52000 | #Constraints:       6003
286.67/287.46	c #Conflicts:      53000 | #Constraints:       7003
286.67/287.46	c #Conflicts:      54000 | #Constraints:       8003
286.67/287.46	c #Conflicts:      55000 | #Constraints:       9003
286.67/287.46	c #Conflicts:      56000 | #Constraints:      10003
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      57000 | #Constraints:       6201
286.67/287.46	c #Conflicts:      58000 | #Constraints:       7201
286.67/287.46	c #Conflicts:      59000 | #Constraints:       8201
286.67/287.46	c #Conflicts:      60000 | #Constraints:       9201
286.67/287.46	c #Conflicts:      61000 | #Constraints:      10201
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      62000 | #Constraints:       6201
286.67/287.46	c #Conflicts:      63000 | #Constraints:       7201
286.67/287.46	c #Conflicts:      64000 | #Constraints:       8201
286.67/287.46	c #Conflicts:      65000 | #Constraints:       9201
286.67/287.46	c #Conflicts:      66000 | #Constraints:      10201
286.67/287.46	c INPROCESSING
286.67/287.46	c GARBAGE COLLECT
286.67/287.46	c #Conflicts:      67000 | #Constraints:       6001
1492.95/1497.07	c #Conflicts:      68000 | #Constraints:       7001
1492.95/1497.07	c #Conflicts:      69000 | #Constraints:       8001
1492.95/1497.07	c #Conflicts:      70000 | #Constraints:       9001
1492.95/1497.07	c #Conflicts:      71000 | #Constraints:      10001
1492.95/1497.07	c #Conflicts:      72000 | #Constraints:      11001
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:      73000 | #Constraints:       6603
1492.95/1497.07	c #Conflicts:      74000 | #Constraints:       7603
1492.95/1497.07	c #Conflicts:      75000 | #Constraints:       8603
1492.95/1497.07	c #Conflicts:      76000 | #Constraints:       9603
1492.95/1497.07	c #Conflicts:      77000 | #Constraints:      10603
1492.95/1497.07	c #Conflicts:      78000 | #Constraints:      11603
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:      79000 | #Constraints:       7003
1492.95/1497.07	c #Conflicts:      80000 | #Constraints:       8003
1492.95/1497.07	c #Conflicts:      81000 | #Constraints:       9003
1492.95/1497.07	c #Conflicts:      82000 | #Constraints:      10003
1492.95/1497.07	c #Conflicts:      83000 | #Constraints:      11003
1492.95/1497.07	c #Conflicts:      84000 | #Constraints:      12003
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:      85000 | #Constraints:       7203
1492.95/1497.07	c #Conflicts:      86000 | #Constraints:       8203
1492.95/1497.07	c #Conflicts:      87000 | #Constraints:       9203
1492.95/1497.07	c #Conflicts:      88000 | #Constraints:      10203
1492.95/1497.07	c #Conflicts:      89000 | #Constraints:      11203
1492.95/1497.07	c #Conflicts:      90000 | #Constraints:      12203
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:      91000 | #Constraints:       7220
1492.95/1497.07	c #Conflicts:      92000 | #Constraints:       8220
1492.95/1497.07	c #Conflicts:      93000 | #Constraints:       9220
1492.95/1497.07	c #Conflicts:      94000 | #Constraints:      10220
1492.95/1497.07	c #Conflicts:      95000 | #Constraints:      11220
1492.95/1497.07	c #Conflicts:      96000 | #Constraints:      12220
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:      97000 | #Constraints:       7013
1492.95/1497.07	c #Conflicts:      98000 | #Constraints:       8013
1492.95/1497.07	c #Conflicts:      99000 | #Constraints:       9013
1492.95/1497.07	c #Conflicts:     100000 | #Constraints:      10013
1492.95/1497.07	c #Conflicts:     101000 | #Constraints:      11013
1492.95/1497.07	c #Conflicts:     102000 | #Constraints:      12013
1492.95/1497.07	c #Conflicts:     103000 | #Constraints:      13013
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:     104000 | #Constraints:       7606
1492.95/1497.07	c #Conflicts:     105000 | #Constraints:       8606
1492.95/1497.07	c #Conflicts:     106000 | #Constraints:       9606
1492.95/1497.07	c #Conflicts:     107000 | #Constraints:      10606
1492.95/1497.07	c #Conflicts:     108000 | #Constraints:      11606
1492.95/1497.07	c #Conflicts:     109000 | #Constraints:      12606
1492.95/1497.07	c #Conflicts:     110000 | #Constraints:      13606
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:     111000 | #Constraints:       8003
1492.95/1497.07	c #Conflicts:     112000 | #Constraints:       9003
1492.95/1497.07	c #Conflicts:     113000 | #Constraints:      10003
1492.95/1497.07	c #Conflicts:     114000 | #Constraints:      11003
1492.95/1497.07	c #Conflicts:     115000 | #Constraints:      12003
1492.95/1497.07	c #Conflicts:     116000 | #Constraints:      13003
1492.95/1497.07	c #Conflicts:     117000 | #Constraints:      14003
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:     118000 | #Constraints:       8205
1492.95/1497.07	c #Conflicts:     119000 | #Constraints:       9205
1492.95/1497.07	c #Conflicts:     120000 | #Constraints:      10205
1492.95/1497.07	c #Conflicts:     121000 | #Constraints:      11205
1492.95/1497.07	c #Conflicts:     122000 | #Constraints:      12205
1492.95/1497.07	c #Conflicts:     123000 | #Constraints:      13205
1492.95/1497.07	c #Conflicts:     124000 | #Constraints:      14205
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:     125000 | #Constraints:       8213
1492.95/1497.07	c #Conflicts:     126000 | #Constraints:       9213
1492.95/1497.07	c #Conflicts:     127000 | #Constraints:      10213
1492.95/1497.07	c #Conflicts:     128000 | #Constraints:      11213
1492.95/1497.07	c #Conflicts:     129000 | #Constraints:      12213
1492.95/1497.07	c #Conflicts:     130000 | #Constraints:      13213
1492.95/1497.07	c #Conflicts:     131000 | #Constraints:      14213
1492.95/1497.07	c INPROCESSING
1492.95/1497.07	c GARBAGE COLLECT
1492.95/1497.07	c #Conflicts:     132000 | #Constraints:       8010
1492.95/1497.07	c #Conflicts:     133000 | #Constraints:       9010
1492.95/1497.07	c #Conflicts:     134000 | #Constraints:      10010
1492.95/1497.07	c #Conflicts:     135000 | #Constraints:      11010
1492.95/1497.07	c #Conflicts:     136000 | #Constraints:      12010
1492.95/1497.07	c #Conflicts:     137000 | #Constraints:      13010
1492.95/1497.07	c #Conflicts:     138000 | #Constraints:      14010
1492.95/1497.07	c #Conflicts:     139000 | #Constraints:      15010
3600.01/3609.71	c INPROCESSING
3600.01/3609.71	c GARBAGE COLLECT
3600.01/3609.71	c #Conflicts:     140000 | #Constraints:       8605
3600.01/3609.71	c #Conflicts:     141000 | #Constraints:       9605
3600.01/3609.71	c #Conflicts:     142000 | #Constraints:      10605
3600.01/3609.71	c #Conflicts:     143000 | #Constraints:      11605
3600.01/3609.71	c #Conflicts:     144000 | #Constraints:      12605
3600.01/3609.71	c #Conflicts:     145000 | #Constraints:      13605
3600.01/3609.71	c #Conflicts:     146000 | #Constraints:      14605
3600.01/3609.71	c #Conflicts:     147000 | #Constraints:      15605
3600.01/3609.71	c INPROCESSING
3600.01/3609.71	c GARBAGE COLLECT
3600.01/3609.71	c #Conflicts:     148000 | #Constraints:       9007
3600.01/3609.71	c #Conflicts:     149000 | #Constraints:      10007
3600.01/3609.71	c #Conflicts:     150000 | #Constraints:      11007
3600.01/3609.71	c #Conflicts:     151000 | #Constraints:      12007
3600.01/3609.71	c #Conflicts:     152000 | #Constraints:      13007
3600.01/3609.71	c #Conflicts:     153000 | #Constraints:      14007
3600.01/3609.71	c #Conflicts:     154000 | #Constraints:      15007
3600.01/3609.71	c #Conflicts:     155000 | #Constraints:      16007
3600.01/3609.71	c INPROCESSING
3600.01/3609.71	c GARBAGE COLLECT
3600.01/3609.71	c #Conflicts:     156000 | #Constraints:       9209
3600.01/3609.71	c #Conflicts:     157000 | #Constraints:      10209
3600.01/3609.71	c #Conflicts:     158000 | #Constraints:      11209
3600.01/3609.71	c #Conflicts:     159000 | #Constraints:      12209
3600.01/3609.71	c #Conflicts:     160000 | #Constraints:      13209
3600.01/3609.71	c #Conflicts:     161000 | #Constraints:      14209
3600.01/3609.71	c #Conflicts:     162000 | #Constraints:      15209
3600.01/3609.71	c #Conflicts:     163000 | #Constraints:      16209
3600.01/3609.71	c INPROCESSING
3600.01/3609.71	c GARBAGE COLLECT
3600.01/3609.71	c #Conflicts:     164000 | #Constraints:       9210
3600.01/3609.71	c #Conflicts:     165000 | #Constraints:      10210
3600.01/3609.71	c #Conflicts:     166000 | #Constraints:      11210
3600.01/3609.71	c #Conflicts:     167000 | #Constraints:      12210
3600.01/3609.71	c #Conflicts:     168000 | #Constraints:      13210
3600.01/3609.71	c #Conflicts:     169000 | #Constraints:      14210
3600.01/3609.71	c #Conflicts:     170000 | #Constraints:      15210
3600.01/3609.71	c #Conflicts:     171000 | #Constraints:      16210
3600.01/3609.71	c INPROCESSING
3600.01/3609.71	c GARBAGE COLLECT
3600.01/3609.71	c #Conflicts:     172000 | #Constraints:       9008
3600.01/3609.71	c #Conflicts:     173000 | #Constraints:      10008
3600.01/3609.71	c #Conflicts:     174000 | #Constraints:      11008
3600.01/3609.71	c #Conflicts:     175000 | #Constraints:      12008
3600.01/3609.71	c #Conflicts:     176000 | #Constraints:      13008
3600.01/3609.71	c #Conflicts:     177000 | #Constraints:      14008
3600.01/3609.71	c #Conflicts:     178000 | #Constraints:      15008
3600.01/3609.71	c #Conflicts:     179000 | #Constraints:      16008
3600.01/3609.71	c #Conflicts:     180000 | #Constraints:      17008
3600.01/3609.71	c INPROCESSING
3600.01/3609.71	c GARBAGE COLLECT
3600.01/3609.71	c #Conflicts:     181000 | #Constraints:       9606
3600.01/3609.71	c #Conflicts:     182000 | #Constraints:      10606
3600.01/3609.71	c #Conflicts:     183000 | #Constraints:      11606
3600.01/3609.71	c #Conflicts:     184000 | #Constraints:      12606
3600.01/3609.71	c #Conflicts:     185000 | #Constraints:      13606
3600.01/3609.71	c #Conflicts:     186000 | #Constraints:      14606
3600.01/3609.71	c #Conflicts:     187000 | #Constraints:      15606
3600.01/3609.71	c #Conflicts:     188000 | #Constraints:      16606
3600.01/3609.71	c #Conflicts:     189000 | #Constraints:      17606
3600.01/3609.71	c #Conflicts:     190000 | #Constraints:      18606
3600.01/3609.71	c #Conflicts:     191000 | #Constraints:      19606
3600.01/3609.71	c #Conflicts:     192000 | #Constraints:      20606
3600.01/3609.71	c #Conflicts:     193000 | #Constraints:      21606
3600.01/3609.71	c #Conflicts:     194000 | #Constraints:      22606
3600.01/3609.71	c #Conflicts:     195000 | #Constraints:      23606
3600.01/3609.71	c #Conflicts:     196000 | #Constraints:      24606
3600.01/3609.71	c #Conflicts:     197000 | #Constraints:      25606
3600.01/3609.71	c #Conflicts:     198000 | #Constraints:      26606
3600.01/3609.71	c #Conflicts:     199000 | #Constraints:      27606
3600.01/3609.71	c #Conflicts:     200000 | #Constraints:      28606
3600.01/3609.71	c #Conflicts:     201000 | #Constraints:      29606
3600.01/3609.71	c #Conflicts:     202000 | #Constraints:      30606
3600.01/3609.71	c #Conflicts:     203000 | #Constraints:      31606
3600.01/3609.71	c Program interrupted by user.
3600.01/3609.71	c cpu time 3591.12 s
3600.01/3609.71	c deterministic time 254457441520 2.54e+11
3600.01/3609.71	c optimization time 1021.91 s
3600.01/3609.71	c total solve time 2569.21 s
3600.01/3609.71	c core-guided solve time 2569.21 s
3600.01/3609.71	c propagation time 3289.97 s
3600.01/3609.71	c conflict analysis time 283.642 s
3600.01/3609.71	c propagations 31620715
3600.01/3609.71	c resolve steps 1492217
3600.01/3609.71	c decisions 5978808
3600.01/3609.71	c conflicts 203590
3600.01/3609.71	c restarts 509
3600.01/3609.71	c inprocessing phases 34
3600.01/3609.71	c input clauses 298
3600.01/3609.71	c input cardinalities 38
3600.01/3609.71	c input general constraints 24
3600.01/3609.71	c input average constraint length 14.49
3600.01/3609.71	c input average constraint degree 8.09
3600.01/3609.71	c learned clauses 28610
3600.01/3609.71	c learned cardinalities 4614
3600.01/3609.71	c learned general constraints 170365
3600.01/3609.71	c learned average constraint length 419.75
3600.01/3609.71	c learned average constraint degree 9451913.27
3600.01/3609.71	c watched constraints 145962
3600.01/3609.71	c counting constraints 24427
3600.01/3609.71	c gcd simplifications 731
3600.01/3609.71	c detected cardinalities 0
3600.01/3609.71	c weakened non-implied lits 3374605
3600.01/3609.71	c weakened non-implying lits 6135
3600.01/3609.71	c original variables 990
3600.01/3609.71	c clausal propagations 10395084
3600.01/3609.71	c cardinality propagations 3552929
3600.01/3609.71	c watched propagations 1117538
3600.01/3609.71	c counting propagations 16486261
3600.01/3609.71	c watch lookups 69549443528
3600.01/3609.71	c watch backjump lookups 67396051584
3600.01/3609.71	c watch checks 84512037548
3600.01/3609.71	c propagation checks 32670249458
3600.01/3609.71	c constraint additions 254257444
3600.01/3609.71	c trail pops 37802434
3600.01/3609.71	c formula constraints 319
3600.01/3609.71	c learned constraints 203589
3600.01/3609.71	c bound constraints 3
3600.01/3609.71	c core-guided constraints 38
3600.01/3609.71	c encountered formula constraints 667900
3600.01/3609.71	c encountered learned constraints 996877
3600.01/3609.71	c encountered bound constraints 121
3600.01/3609.71	c encountered core-guided constraints 30909
3600.01/3609.71	c LP total time 0 s
3600.01/3609.71	c LP solve time 0 s
3600.01/3609.71	c LP constraints added 0
3600.01/3609.71	c LP constraints removed 0
3600.01/3609.71	c LP pivots internal 0
3600.01/3609.71	c LP pivots root 0
3600.01/3609.71	c LP calls 0
3600.01/3609.71	c LP optimalities 0
3600.01/3609.71	c LP no pivot count 0
3600.01/3609.71	c LP infeasibilities 0
3600.01/3609.71	c LP valid Farkas constraints 0
3600.01/3609.71	c LP learned Farkas constraints 0
3600.01/3609.71	c LP basis resets 0
3600.01/3609.71	c LP cycling count 0
3600.01/3609.71	c LP singular count 0
3600.01/3609.71	c LP no primal count 0
3600.01/3609.71	c LP no farkas count 0
3600.01/3609.71	c LP other issue count 0
3600.01/3609.71	c LP Gomory cuts 0
3600.01/3609.71	c LP learned cuts 0
3600.01/3609.71	c LP deleted cuts 0
3600.01/3609.71	c LP encountered Gomory constraints 0
3600.01/3609.71	c LP encountered Farkas constraints 0
3600.01/3609.71	c LP encountered learned Farkas constraints 0
3600.01/3609.71	c CG auxiliary variables introduced 35
3600.01/3609.71	c CG solutions found 1
3600.01/3609.71	c CG cores constructed 2
3600.01/3609.71	c CG core cardinality constraints returned 0
3600.01/3609.71	c CG unit cores 0
3600.01/3609.71	c CG single cores 2
3600.01/3609.71	c CG blocks removed during cardinality reduction 0
3600.01/3609.71	c CG first core best 0
3600.01/3609.71	c CG decision core best 0
3600.01/3609.71	c CG core reduction tie 0
3600.01/3609.71	c CG core degree average 1.00
3600.01/3609.71	c CG core slack average 11.00
3600.01/3609.71	c CG exhausted 0
3600.01/3609.71	c CG exhaust time 0.074022 s
3600.01/3609.71	c CG trimmed 0
3600.01/3609.71	c CG trim time 3.8e-05 s
3600.01/3609.71	c CG minimized 0
3600.01/3609.71	c CG minimize time 0 s
3600.01/3609.71	c CG am1 prop time 0.001368 s
3600.01/3609.71	c CG # am1s reformulated 33
3600.01/3609.71	c CG lower bound derived from am1s 693
3600.01/3609.71	c CG # clausal cores 2
3600.01/3609.71	c CG # cardinality cores 0
3600.01/3609.71	c CG # pb cores 0
3600.01/3609.71	c CG # pb reforms 0
3600.01/3609.71	c CG # cores discarded because of pb reform 0
3600.01/3609.71	d LOWERBOUND -31
3600.01/3609.71	d NCORES 2
3600.01/3609.71	d NPBCORES 0
3600.01/3609.71	d NPBREFORM 0
3600.01/3609.71	d NTRIMMED 0
3600.01/3609.71	d NEXHAUSTED 0
3600.01/3609.71	d NAM1S 33
3600.01/3609.71	d AM1LB 693
3600.01/3609.71	o -22
3600.01/3609.71	s SATISFIABLE
3600.01/3609.71	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 -x670 x671 -x672 -x673 -x674 x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990

Verifier Data 

OK	-22

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: 63708 MiB (62317 MiB free)
  memory of node 1: 64465 MiB (63734 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519970-1751565852/watcher-4519970-1751565852 -o /tmp/evaluation-result-4519970-1751565852/solver-4519970-1751565852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751565852-81863 --watchdog 3760 pb-oll-rs HOME/instance-4519970-1751565852.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=81910, runsolver pid=81901

[startup+0.100061 s]*
/proc/loadavg: 0.50 1.03 2.06 5/265 81919
/proc/meminfo: memFree=129059180/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=22540 memory=10620 CPUtime=0.08 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 988 0 0 0 7 1 0 0 20 0 1 0 72262654 23080960 2655 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 5635 2655 1344 243 0 1884 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22540 KiB
Current children cumulated memory: 10620 KiB

[startup+0.20546 s]*
/proc/loadavg: 0.50 1.03 2.06 5/265 81919
/proc/meminfo: memFree=129057164/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=23580 memory=13656 CPUtime=0.18 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 1235 0 0 0 17 1 0 0 20 0 1 0 72262654 24145920 3414 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 5895 3414 1344 243 0 2144 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 23580 KiB
Current children cumulated memory: 13656 KiB

[startup+0.304758 s]*
/proc/loadavg: 0.50 1.03 2.06 5/265 81919
/proc/meminfo: memFree=129053384/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=24120 memory=14168 CPUtime=0.29 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 1378 0 0 0 27 2 0 0 20 0 1 0 72262654 24698880 3542 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 6030 3542 1344 243 0 2279 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24120 KiB
Current children cumulated memory: 14168 KiB

[startup+0.700137 s]
/proc/loadavg: 0.50 1.03 2.06 5/265 81919
/proc/meminfo: memFree=129033412/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=25032 memory=14936 CPUtime=0.68 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 1577 0 0 0 64 4 0 0 20 0 1 0 72262654 25632768 3734 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 6258 3734 1344 243 0 2507 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25032 KiB
Current children cumulated memory: 14936 KiB

[startup+1.50015 s]
/proc/loadavg: 0.50 1.03 2.06 5/265 81919
/proc/meminfo: memFree=129006196/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=35016 memory=20952 CPUtime=1.47 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 3060 0 0 0 141 6 0 0 20 0 1 0 72262654 35856384 5238 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 8754 5238 1344 243 0 5003 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 35016 KiB
Current children cumulated memory: 20952 KiB

[startup+3.10537 s]
/proc/loadavg: 0.50 1.03 2.06 5/265 81919
/proc/meminfo: memFree=128833032/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=36784 memory=25740 CPUtime=3.08 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 3753 0 0 0 297 11 0 0 20 0 1 0 72262654 37666816 6435 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 9196 6435 1344 243 0 5445 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36784 KiB
Current children cumulated memory: 25740 KiB

[startup+6.30015 s]
/proc/loadavg: 0.78 1.08 2.07 5/265 81919
/proc/meminfo: memFree=128712932/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=41172 memory=30348 CPUtime=6.26 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 4923 0 0 0 610 16 0 0 20 0 1 0 72262654 42160128 7587 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 10293 7587 1344 243 0 6542 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 30348 KiB

[startup+12.7001 s]
/proc/loadavg: 1.12 1.14 2.09 5/265 81919
/proc/meminfo: memFree=128254460/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=50000 memory=35252 CPUtime=12.65 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 5631 0 0 0 1240 25 0 0 20 0 1 0 72262654 51200000 8813 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 12500 8813 1344 243 0 8749 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50000 KiB
Current children cumulated memory: 35252 KiB

[startup+25.5002 s]
/proc/loadavg: 1.98 1.33 2.14 5/265 81919
/proc/meminfo: memFree=128236652/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=54516 memory=40876 CPUtime=25.42 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 6514 0 0 0 2502 40 0 0 20 0 1 0 72262654 55824384 10219 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 13629 10219 1344 243 0 9878 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 54516 KiB
Current children cumulated memory: 40876 KiB

[startup+51.1054 s]
/proc/loadavg: 2.79 1.58 2.20 5/265 81920
/proc/meminfo: memFree=128199940/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=71160 memory=47276 CPUtime=50.96 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 8124 0 0 0 5035 61 0 0 20 0 1 0 72262654 72867840 11819 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 17790 11819 1344 243 0 14039 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 71160 KiB
Current children cumulated memory: 47276 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.95 2.29 5/266 81923
/proc/meminfo: memFree=128163056/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=74796 memory=54528 CPUtime=102.03 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 9436 0 0 0 10100 103 0 0 20 0 1 0 72262654 76591104 13632 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 18699 13632 1344 243 0 14948 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 74796 KiB
Current children cumulated memory: 54528 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.35 2.41 5/264 81925
/proc/meminfo: memFree=128091292/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=80276 memory=62900 CPUtime=161.89 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 10497 0 0 0 16045 144 0 0 20 0 1 0 72262654 82202624 15725 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 20069 15725 1344 243 0 16318 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 80276 KiB
Current children cumulated memory: 62900 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.68 2.52 5/265 81973
/proc/meminfo: memFree=127935992/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=86036 memory=66868 CPUtime=221.73 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 11490 0 0 0 21995 178 0 0 20 0 1 0 72262654 88100864 16717 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 21509 16717 1344 243 0 17758 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 86036 KiB
Current children cumulated memory: 66868 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.94 2.62 5/265 81975
/proc/meminfo: memFree=127344100/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=90080 memory=72216 CPUtime=281.58 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 12312 0 0 0 27954 204 0 0 20 0 1 0 72262654 92241920 18054 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 22520 18054 1344 243 0 18769 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 90080 KiB
Current children cumulated memory: 72216 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.15 2.72 5/264 81976
/proc/meminfo: memFree=126440760/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=109980 memory=75288 CPUtime=341.42 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 13082 0 0 0 33911 231 0 0 20 0 1 0 72262654 112619520 18822 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 27495 18822 1344 243 0 23744 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 109980 KiB
Current children cumulated memory: 75288 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.32 2.81 5/263 81978
/proc/meminfo: memFree=125193568/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=111120 memory=78916 CPUtime=401.25 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 13487 0 0 0 39872 253 0 0 20 0 1 0 72262654 113786880 19729 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 27780 19729 1344 243 0 24029 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 111120 KiB
Current children cumulated memory: 78916 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.46 2.89 5/264 81983
/proc/meminfo: memFree=124103928/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=111444 memory=79300 CPUtime=461.09 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 13599 0 0 0 45834 275 0 0 20 0 1 0 72262654 114118656 19825 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 27861 19825 1344 243 0 24110 0
Current children cumulated CPU time: 461.09 s

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

Current children cumulated memory: 128700 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.03 5/264 82103
/proc/meminfo: memFree=117679460/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=179620 memory=135724 CPUtime=2914.47 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 21665 0 0 0 290636 811 0 0 20 0 1 0 72262654 183930880 33931 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 44905 33931 1344 243 0 41154 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 179620 KiB
Current children cumulated memory: 135724 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/265 82110
/proc/meminfo: memFree=117040460/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=183488 memory=145312 CPUtime=2974.31 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 22566 0 0 0 296611 820 0 0 20 0 1 0 72262654 187891712 36328 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 45872 36328 1344 243 0 42121 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 183488 KiB
Current children cumulated memory: 145312 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/265 82112
/proc/meminfo: memFree=116559512/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=185504 memory=151976 CPUtime=3034.14 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 23386 0 0 0 302586 828 0 0 20 0 1 0 72262654 189956096 37994 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 46376 37994 1344 243 0 42625 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 185504 KiB
Current children cumulated memory: 151976 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/264 82114
/proc/meminfo: memFree=116250712/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=187328 memory=158420 CPUtime=3093.99 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 24024 0 0 0 308563 836 0 0 20 0 1 0 72262654 191823872 39605 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 46832 39605 1344 243 0 43081 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 187328 KiB
Current children cumulated memory: 158420 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.09 4.03 5/264 82116
/proc/meminfo: memFree=115309072/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=190456 memory=165532 CPUtime=3153.82 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 24872 0 0 0 314539 843 0 0 20 0 1 0 72262654 195026944 41383 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 47614 41383 1344 243 0 43863 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 190456 KiB
Current children cumulated memory: 165532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 82118
/proc/meminfo: memFree=114628752/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=194236 memory=170780 CPUtime=3213.66 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 25930 0 0 0 320515 851 0 0 20 0 1 0 72262654 198897664 42695 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 48559 42695 1344 243 0 44808 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 194236 KiB
Current children cumulated memory: 170780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/264 82120
/proc/meminfo: memFree=113904312/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=248824 memory=179144 CPUtime=3273.51 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 27886 0 0 0 326493 858 0 0 20 0 1 0 72262654 254795776 44786 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 62206 44786 1344 243 0 58455 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 248824 KiB
Current children cumulated memory: 179144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 82122
/proc/meminfo: memFree=113637388/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=256912 memory=184808 CPUtime=3333.34 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 29694 0 0 0 332470 864 0 0 20 0 1 0 72262654 263077888 46202 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 64228 46202 1344 243 0 60477 0
Current children cumulated CPU time: 3333.34 s
Current children cumulated vsize: 256912 KiB
Current children cumulated memory: 184808 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 82124
/proc/meminfo: memFree=113620012/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=263476 memory=191724 CPUtime=3393.18 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 31220 0 0 0 338449 869 0 0 20 0 1 0 72262654 269799424 47931 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 65869 47931 1344 243 0 62118 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 263476 KiB
Current children cumulated memory: 191724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.03 5/264 82139
/proc/meminfo: memFree=113573256/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=272496 memory=199504 CPUtime=3453.02 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 33360 0 0 0 344426 876 0 0 20 0 1 0 72262654 279035904 49876 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 68124 49876 1344 243 0 64373 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 272496 KiB
Current children cumulated memory: 199504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/263 82141
/proc/meminfo: memFree=113500380/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=281468 memory=204620 CPUtime=3512.85 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 35514 0 0 0 350401 884 0 0 20 0 1 0 72262654 288223232 51155 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 70367 51155 1344 243 0 66616 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 281468 KiB
Current children cumulated memory: 204620 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.03 5/264 82148
/proc/meminfo: memFree=113454300/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=286860 memory=209272 CPUtime=3572.68 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 36975 0 0 0 356379 889 0 0 20 0 1 0 72262654 293744640 52318 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 71715 52318 1344 243 0 67964 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 286860 KiB
Current children cumulated memory: 209272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.11 4.09 4.03 5/264 82149
/proc/meminfo: memFree=113443864/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=288288 memory=212444 CPUtime=3600.01 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 37555 0 0 0 359110 891 0 0 20 0 1 0 72262654 295206912 53111 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 72072 53111 1344 243 0 68321 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 288288 KiB
Current children cumulated memory: 212444 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.12 s, system=8.92529 s

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

[startup+3609.7 s]
/proc/loadavg: 4.11 4.09 4.03 5/264 82149
/proc/meminfo: memFree=113443864/131249996 swapFree=33006296/33010684
[pid=81910] ppid=81901 vsize=288288 memory=212444 CPUtime=3600.01 cores=5,7
/proc/81910/stat : 81910 (pb-oll-rs) R 81901 81910 81850 0 -1 4194304 37555 0 0 0 359110 891 0 0 20 0 1 0 72262654 295206912 53111 18446744073709551615 4218880 5211445 140722126795744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 5943296 140722126797212 140722126797289 140722126797289 140722126802891 0
/proc/81910/statm: 72072 53111 1344 243 0 68321 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 288288 KiB
Current children cumulated memory: 212444 KiB

Child status: 0

Real time (s): 3609.73
CPU time (s): 3600.04
CPU user time (s): 3591.12
CPU system time (s): 8.92529
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 288288
Max. memory (cumulated for all children) (KiB): 212444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.12
system time used= 8.92529
maximum resident set size= 212700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37570
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= 96
involuntary context switches= 2682


# summary of solver processes directly reported to runsolver:
#   pid: 81910
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3591.12
#   total CPU system time (s): 8.92529

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92802 second user time and 15.8715 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-03 20:04:12
IDJOB=4519970
IDBENCH=177591
IDSOLVER=3345
FILE ID=nodeC015/4519970-1751565852
RUNJOBID= nodeC015-1751565852-81863
SLURM_JOB_ID= 9598775
Free space on /tmp= 432372 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519970-1751565852/watcher-4519970-1751565852 -o /tmp/evaluation-result-4519970-1751565852/solver-4519970-1751565852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751565852-81863 --watchdog 3760  pb-oll-rs HOME/instance-4519970-1751565852.opb

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

MD5SUM BENCH= 352d46e2b577dcfb3a10b12d10bca5f2
RANDOM SEED=647752394

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129067728 kB
MemAvailable:   129698812 kB
Buffers:            1508 kB
Cached:          1414104 kB
SwapCached:         3880 kB
Active:           319488 kB
Inactive:        1176268 kB
Active(anon):      45488 kB
Inactive(anon):    48808 kB
Active(file):     274000 kB
Inactive(file):  1127460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5240 kB
Writeback:             0 kB
AnonPages:         79424 kB
Mapped:           100232 kB
Shmem:             14152 kB
KReclaimable:     137724 kB
Slab:             228592 kB
SReclaimable:     137724 kB
SUnreclaim:        90868 kB
KernelStack:        4128 kB
PageTables:         2816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432360 MiB
End job on nodeC015 at 2025-07-03 21:04:22