Trace number 4529154

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
mixed-bag-2024 2025-07-10No Cert. 701.908 704.216

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB
SOLVEDBYoll

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
MD5SUMa11a369abd963989a0475f7e0477b1a8
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 benchmark4167529
Best CPU time to get the best result obtained on this benchmark1556.38
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 139798359
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 110323070365
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 139798359
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 110323070365
Number of bits of the biggest sum of numbers37
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.20/0.25	c [STEP] preprocessing with Papilo
0.30/0.37	c [STEP] solving with SCIP
299.45/300.44	c [STEP] preprocessing done, loading into solver
299.45/300.47	c [STEP] solving
299.45/300.47	c #variables 7311 #constraints 7573
299.45/300.47	c SMALL=int, LARGE=long long
299.45/300.47	d SCIPUB 1748407
299.45/300.47	c bounds - >= -85 @ 299.329
299.45/300.47	c stratification level: 1714750
405.87/407.22	c #Conflicts:       1000 | #Constraints:       8573
405.87/407.22	c #Conflicts:       2000 | #Constraints:       9573
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:       3000 | #Constraints:       6530
405.87/407.22	c #Conflicts:       4000 | #Constraints:       7530
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:       5000 | #Constraints:       6959
405.87/407.22	c #Conflicts:       6000 | #Constraints:       7959
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:       7000 | #Constraints:       6967
405.87/407.22	c #Conflicts:       8000 | #Constraints:       7967
405.87/407.22	c #Conflicts:       9000 | #Constraints:       8967
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      10000 | #Constraints:       7670
405.87/407.22	c #Conflicts:      11000 | #Constraints:       8670
405.87/407.22	c #Conflicts:      12000 | #Constraints:       9670
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      13000 | #Constraints:       8091
405.87/407.22	c #Conflicts:      14000 | #Constraints:       9091
405.87/407.22	c #Conflicts:      15000 | #Constraints:      10091
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      16000 | #Constraints:       8340
405.87/407.22	c #Conflicts:      17000 | #Constraints:       9340
405.87/407.22	c #Conflicts:      18000 | #Constraints:      10340
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      19000 | #Constraints:       8355
405.87/407.22	c #Conflicts:      20000 | #Constraints:       9355
405.87/407.22	c #Conflicts:      21000 | #Constraints:      10355
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      22000 | #Constraints:       8250
405.87/407.22	c #Conflicts:      23000 | #Constraints:       9250
405.87/407.22	c #Conflicts:      24000 | #Constraints:      10250
405.87/407.22	c #Conflicts:      25000 | #Constraints:      11250
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      26000 | #Constraints:       8789
405.87/407.22	c #Conflicts:      27000 | #Constraints:       9789
405.87/407.22	c #Conflicts:      28000 | #Constraints:      10789
405.87/407.22	c #Conflicts:      29000 | #Constraints:      11789
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      30000 | #Constraints:       9157
405.87/407.22	c #Conflicts:      31000 | #Constraints:      10157
405.87/407.22	c #Conflicts:      32000 | #Constraints:      11157
405.87/407.22	c #Conflicts:      33000 | #Constraints:      12157
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      34000 | #Constraints:       9404
405.87/407.22	c #Conflicts:      35000 | #Constraints:      10404
405.87/407.22	c #Conflicts:      36000 | #Constraints:      11404
405.87/407.22	c #Conflicts:      37000 | #Constraints:      12404
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      38000 | #Constraints:       9398
405.87/407.22	c #Conflicts:      39000 | #Constraints:      10398
405.87/407.22	c #Conflicts:      40000 | #Constraints:      11398
405.87/407.22	c #Conflicts:      41000 | #Constraints:      12398
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      42000 | #Constraints:       9272
405.87/407.22	c #Conflicts:      43000 | #Constraints:      10272
405.87/407.22	c #Conflicts:      44000 | #Constraints:      11272
405.87/407.22	c #Conflicts:      45000 | #Constraints:      12272
405.87/407.22	c #Conflicts:      46000 | #Constraints:      13272
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      47000 | #Constraints:       9901
405.87/407.22	c #Conflicts:      48000 | #Constraints:      10901
405.87/407.22	c #Conflicts:      49000 | #Constraints:      11901
405.87/407.22	c #Conflicts:      50000 | #Constraints:      12901
405.87/407.22	c #Conflicts:      51000 | #Constraints:      13901
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      52000 | #Constraints:      10270
405.87/407.22	c #Conflicts:      53000 | #Constraints:      11270
405.87/407.22	c #Conflicts:      54000 | #Constraints:      12270
405.87/407.22	c #Conflicts:      55000 | #Constraints:      13270
405.87/407.22	c #Conflicts:      56000 | #Constraints:      14270
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      57000 | #Constraints:      10525
405.87/407.22	c #Conflicts:      58000 | #Constraints:      11525
405.87/407.22	c #Conflicts:      59000 | #Constraints:      12525
405.87/407.22	c #Conflicts:      60000 | #Constraints:      13525
405.87/407.22	c #Conflicts:      61000 | #Constraints:      14525
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      62000 | #Constraints:      10560
405.87/407.22	c #Conflicts:      63000 | #Constraints:      11560
405.87/407.22	c #Conflicts:      64000 | #Constraints:      12560
405.87/407.22	c #Conflicts:      65000 | #Constraints:      13560
405.87/407.22	c #Conflicts:      66000 | #Constraints:      14560
405.87/407.22	c INPROCESSING
405.87/407.22	c GARBAGE COLLECT
405.87/407.22	c #Conflicts:      67000 | #Constraints:      10374
405.87/407.22	c #Conflicts:      68000 | #Constraints:      11374
565.29/567.23	c #Conflicts:      69000 | #Constraints:      12374
565.29/567.23	c #Conflicts:      70000 | #Constraints:      13374
565.29/567.23	c #Conflicts:      71000 | #Constraints:      14374
565.29/567.23	c #Conflicts:      72000 | #Constraints:      15374
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:      73000 | #Constraints:      10956
565.29/567.23	c #Conflicts:      74000 | #Constraints:      11956
565.29/567.23	c #Conflicts:      75000 | #Constraints:      12956
565.29/567.23	c #Conflicts:      76000 | #Constraints:      13956
565.29/567.23	c #Conflicts:      77000 | #Constraints:      14956
565.29/567.23	c #Conflicts:      78000 | #Constraints:      15956
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:      79000 | #Constraints:      11366
565.29/567.23	c #Conflicts:      80000 | #Constraints:      12366
565.29/567.23	c #Conflicts:      81000 | #Constraints:      13366
565.29/567.23	c #Conflicts:      82000 | #Constraints:      14366
565.29/567.23	c #Conflicts:      83000 | #Constraints:      15366
565.29/567.23	c #Conflicts:      84000 | #Constraints:      16366
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:      85000 | #Constraints:      11583
565.29/567.23	c #Conflicts:      86000 | #Constraints:      12583
565.29/567.23	c #Conflicts:      87000 | #Constraints:      13583
565.29/567.23	c #Conflicts:      88000 | #Constraints:      14583
565.29/567.23	c #Conflicts:      89000 | #Constraints:      15583
565.29/567.23	c #Conflicts:      90000 | #Constraints:      16583
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:      91000 | #Constraints:      11513
565.29/567.23	c #Conflicts:      92000 | #Constraints:      12513
565.29/567.23	c #Conflicts:      93000 | #Constraints:      13513
565.29/567.23	c #Conflicts:      94000 | #Constraints:      14513
565.29/567.23	c #Conflicts:      95000 | #Constraints:      15513
565.29/567.23	c #Conflicts:      96000 | #Constraints:      16513
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:      97000 | #Constraints:      11374
565.29/567.23	c #Conflicts:      98000 | #Constraints:      12374
565.29/567.23	c #Conflicts:      99000 | #Constraints:      13374
565.29/567.23	c #Conflicts:     100000 | #Constraints:      14374
565.29/567.23	c #Conflicts:     101000 | #Constraints:      15374
565.29/567.23	c #Conflicts:     102000 | #Constraints:      16374
565.29/567.23	c #Conflicts:     103000 | #Constraints:      17374
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:     104000 | #Constraints:      12009
565.29/567.23	c #Conflicts:     105000 | #Constraints:      13009
565.29/567.23	c #Conflicts:     106000 | #Constraints:      14009
565.29/567.23	c #Conflicts:     107000 | #Constraints:      15009
565.29/567.23	c #Conflicts:     108000 | #Constraints:      16009
565.29/567.23	c #Conflicts:     109000 | #Constraints:      17009
565.29/567.23	c #Conflicts:     110000 | #Constraints:      18009
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:     111000 | #Constraints:      12380
565.29/567.23	c #Conflicts:     112000 | #Constraints:      13380
565.29/567.23	c #Conflicts:     113000 | #Constraints:      14380
565.29/567.23	c #Conflicts:     114000 | #Constraints:      15380
565.29/567.23	c #Conflicts:     115000 | #Constraints:      16380
565.29/567.23	c #Conflicts:     116000 | #Constraints:      17380
565.29/567.23	c #Conflicts:     117000 | #Constraints:      18380
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:     118000 | #Constraints:      12539
565.29/567.23	c #Conflicts:     119000 | #Constraints:      13539
565.29/567.23	c #Conflicts:     120000 | #Constraints:      14539
565.29/567.23	c #Conflicts:     121000 | #Constraints:      15539
565.29/567.23	c #Conflicts:     122000 | #Constraints:      16539
565.29/567.23	c #Conflicts:     123000 | #Constraints:      17539
565.29/567.23	c #Conflicts:     124000 | #Constraints:      18539
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:     125000 | #Constraints:      12597
565.29/567.23	c #Conflicts:     126000 | #Constraints:      13597
565.29/567.23	c #Conflicts:     127000 | #Constraints:      14597
565.29/567.23	c #Conflicts:     128000 | #Constraints:      15597
565.29/567.23	c #Conflicts:     129000 | #Constraints:      16597
565.29/567.23	c #Conflicts:     130000 | #Constraints:      17597
565.29/567.23	c #Conflicts:     131000 | #Constraints:      18597
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:     132000 | #Constraints:      12388
565.29/567.23	c #Conflicts:     133000 | #Constraints:      13388
565.29/567.23	c #Conflicts:     134000 | #Constraints:      14388
565.29/567.23	c #Conflicts:     135000 | #Constraints:      15388
565.29/567.23	c #Conflicts:     136000 | #Constraints:      16388
565.29/567.23	c #Conflicts:     137000 | #Constraints:      17388
565.29/567.23	c #Conflicts:     138000 | #Constraints:      18388
565.29/567.23	c #Conflicts:     139000 | #Constraints:      19388
565.29/567.23	c INPROCESSING
565.29/567.23	c GARBAGE COLLECT
565.29/567.23	c #Conflicts:     140000 | #Constraints:      13020
701.88/704.21	c #Conflicts:     141000 | #Constraints:      14020
701.88/704.21	c #Conflicts:     142000 | #Constraints:      15020
701.88/704.21	c #Conflicts:     143000 | #Constraints:      16020
701.88/704.21	c #Conflicts:     144000 | #Constraints:      17020
701.88/704.21	c #Conflicts:     145000 | #Constraints:      18020
701.88/704.21	c #Conflicts:     146000 | #Constraints:      19020
701.88/704.21	c #Conflicts:     147000 | #Constraints:      20020
701.88/704.21	c INPROCESSING
701.88/704.21	c GARBAGE COLLECT
701.88/704.21	c #Conflicts:     148000 | #Constraints:      13386
701.88/704.21	c #Conflicts:     149000 | #Constraints:      14386
701.88/704.21	c #Conflicts:     150000 | #Constraints:      15386
701.88/704.21	c #Conflicts:     151000 | #Constraints:      16386
701.88/704.21	c #Conflicts:     152000 | #Constraints:      17386
701.88/704.21	c #Conflicts:     153000 | #Constraints:      18386
701.88/704.21	c #Conflicts:     154000 | #Constraints:      19386
701.88/704.21	c #Conflicts:     155000 | #Constraints:      20386
701.88/704.21	c INPROCESSING
701.88/704.21	c GARBAGE COLLECT
701.88/704.21	c #Conflicts:     156000 | #Constraints:      13625
701.88/704.21	c #Conflicts:     157000 | #Constraints:      14625
701.88/704.21	c #Conflicts:     158000 | #Constraints:      15625
701.88/704.21	c #Conflicts:     159000 | #Constraints:      16625
701.88/704.21	c #Conflicts:     160000 | #Constraints:      17625
701.88/704.21	c #Conflicts:     161000 | #Constraints:      18625
701.88/704.21	c #Conflicts:     162000 | #Constraints:      19625
701.88/704.21	c #Conflicts:     163000 | #Constraints:      20625
701.88/704.21	c INPROCESSING
701.88/704.21	c GARBAGE COLLECT
701.88/704.21	c #Conflicts:     164000 | #Constraints:      13613
701.88/704.21	c #Conflicts:     165000 | #Constraints:      14613
701.88/704.21	c #Conflicts:     166000 | #Constraints:      15613
701.88/704.21	c #Conflicts:     167000 | #Constraints:      16613
701.88/704.21	c #Conflicts:     168000 | #Constraints:      17613
701.88/704.21	c #Conflicts:     169000 | #Constraints:      18613
701.88/704.21	c #Conflicts:     170000 | #Constraints:      19613
701.88/704.21	c #Conflicts:     171000 | #Constraints:      20613
701.88/704.21	c INPROCESSING
701.88/704.21	c GARBAGE COLLECT
701.88/704.21	c #Conflicts:     172000 | #Constraints:      13365
701.88/704.21	c #Conflicts:     173000 | #Constraints:      14365
701.88/704.21	c #Conflicts:     174000 | #Constraints:      15365
701.88/704.21	c #Conflicts:     175000 | #Constraints:      16365
701.88/704.21	c #Conflicts:     176000 | #Constraints:      17365
701.88/704.21	c #Conflicts:     177000 | #Constraints:      18365
701.88/704.21	c #Conflicts:     178000 | #Constraints:      19365
701.88/704.21	c #Conflicts:     179000 | #Constraints:      20365
701.88/704.21	c #Conflicts:     180000 | #Constraints:      21365
701.88/704.21	c INPROCESSING
701.88/704.21	c GARBAGE COLLECT
701.88/704.21	c #Conflicts:     181000 | #Constraints:      13985
701.88/704.21	c #Conflicts:     182000 | #Constraints:      14985
701.88/704.21	c #Conflicts:     183000 | #Constraints:      15985
701.88/704.21	c #Conflicts:     184000 | #Constraints:      16985
701.88/704.21	c #Conflicts:     185000 | #Constraints:      17985
701.88/704.21	c #Conflicts:     186000 | #Constraints:      18985
701.88/704.21	c #Conflicts:     187000 | #Constraints:      19985
701.88/704.21	c #Conflicts:     188000 | #Constraints:      20985
701.88/704.21	c #Conflicts:     189000 | #Constraints:      21985
701.88/704.21	c INPROCESSING
701.88/704.21	c GARBAGE COLLECT
701.88/704.21	c #Conflicts:     190000 | #Constraints:      14411
701.88/704.21	c #Conflicts:     191000 | #Constraints:      15411
701.88/704.21	c #Conflicts:     192000 | #Constraints:      16411
701.88/704.21	c #Conflicts:     193000 | #Constraints:      17411
701.88/704.21	c #Conflicts:     194000 | #Constraints:      18411
701.88/704.21	c #Conflicts:     195000 | #Constraints:      19411
701.88/704.21	c #Conflicts:     196000 | #Constraints:      20411
701.88/704.21	c #Conflicts:     197000 | #Constraints:      21411
701.88/704.21	c #Conflicts:     198000 | #Constraints:      22411
701.88/704.21	c INPROCESSING
701.88/704.21	c GARBAGE COLLECT
701.88/704.21	c #Conflicts:     199000 | #Constraints:      14613
701.88/704.21	c #Conflicts:     200000 | #Constraints:      15613
701.88/704.21	c #Conflicts:     201000 | #Constraints:      16613
701.88/704.21	c #Conflicts:     202000 | #Constraints:      17613
701.88/704.21	c #Conflicts:     203000 | #Constraints:      18613
701.88/704.21	c Input conflict
701.88/704.21	c bounds - >= 1714666 @ 700.415
701.88/704.21	d SOLVEDBY oll
701.88/704.21	c cpu time 700.415 s
701.88/704.21	c deterministic time 29399919859 2.94e+10
701.88/704.21	c optimization time 0.019184 s
701.88/704.21	c total solve time 401.068 s
701.88/704.21	c core-guided solve time 401.068 s
701.88/704.21	c propagation time 172.366 s
701.88/704.21	c conflict analysis time 219.521 s
701.88/704.21	c propagations 197141388
701.88/704.21	c resolve steps 10010370
701.88/704.21	c decisions 525337
701.88/704.21	c conflicts 203933
701.88/704.21	c restarts 509
701.88/704.21	c inprocessing phases 36
701.88/704.21	c input clauses 5434
701.88/704.21	c input cardinalities 7
701.88/704.21	c input general constraints 3827
701.88/704.21	c input average constraint length 9.21
701.88/704.21	c input average constraint degree 11903654.63
701.88/704.21	c learned clauses 134985
701.88/704.21	c learned cardinalities 154
701.88/704.21	c learned general constraints 68794
701.88/704.21	c learned average constraint length 718.15
701.88/704.21	c learned average constraint degree 51074301.85
701.88/704.21	c watched constraints 42374
701.88/704.21	c counting constraints 30247
701.88/704.21	c gcd simplifications 16030
701.88/704.21	c detected cardinalities 49
701.88/704.21	c weakened non-implied lits 62183593
701.88/704.21	c weakened non-implying lits 205117
701.88/704.21	c original variables 14620
701.88/704.21	c clausal propagations 168231040
701.88/704.21	c cardinality propagations 840287
701.88/704.21	c watched propagations 863736
701.88/704.21	c counting propagations 26898501
701.88/704.21	c watch lookups 5840258815
701.88/704.21	c watch backjump lookups 5504687729
701.88/704.21	c watch checks 10045804028
701.88/704.21	c propagation checks 6473232535
701.88/704.21	c constraint additions 1140405621
701.88/704.21	c trail pops 197864405
701.88/704.21	c formula constraints 7573
701.88/704.21	c learned constraints 203933
701.88/704.21	c bound constraints 1695
701.88/704.21	c core-guided constraints 0
701.88/704.21	c encountered formula constraints 7740202
701.88/704.21	c encountered learned constraints 2460974
701.88/704.21	c encountered bound constraints 13128
701.88/704.21	c encountered core-guided constraints 0
701.88/704.21	c LP total time 0 s
701.88/704.21	c LP solve time 0 s
701.88/704.21	c LP constraints added 0
701.88/704.21	c LP constraints removed 0
701.88/704.21	c LP pivots internal 0
701.88/704.21	c LP pivots root 0
701.88/704.21	c LP calls 0
701.88/704.21	c LP optimalities 0
701.88/704.21	c LP no pivot count 0
701.88/704.21	c LP infeasibilities 0
701.88/704.21	c LP valid Farkas constraints 0
701.88/704.21	c LP learned Farkas constraints 0
701.88/704.21	c LP basis resets 0
701.88/704.21	c LP cycling count 0
701.88/704.21	c LP singular count 0
701.88/704.21	c LP no primal count 0
701.88/704.21	c LP no farkas count 0
701.88/704.21	c LP other issue count 0
701.88/704.21	c LP Gomory cuts 0
701.88/704.21	c LP learned cuts 0
701.88/704.21	c LP deleted cuts 0
701.88/704.21	c LP encountered Gomory constraints 0
701.88/704.21	c LP encountered Farkas constraints 0
701.88/704.21	c LP encountered learned Farkas constraints 0
701.88/704.21	c CG auxiliary variables introduced 0
701.88/704.21	c CG solutions found 0
701.88/704.21	c CG cores constructed 1
701.88/704.21	c CG core cardinality constraints returned 0
701.88/704.21	c CG unit cores 0
701.88/704.21	c CG single cores 1
701.88/704.21	c CG blocks removed during cardinality reduction 0
701.88/704.21	c CG first core best 0
701.88/704.21	c CG decision core best 0
701.88/704.21	c CG core reduction tie 0
701.88/704.21	c CG core degree average 1.00
701.88/704.21	c CG core slack average 6.00
701.88/704.21	c CG exhausted 0
701.88/704.21	c CG exhaust time 0 s
701.88/704.21	c CG trimmed 1
701.88/704.21	c CG trim time 0.00924 s
701.88/704.21	c CG minimized 0
701.88/704.21	c CG minimize time 0 s
701.88/704.21	c CG am1 prop time 4e-05 s
701.88/704.21	c CG # am1s reformulated 0
701.88/704.21	c CG lower bound derived from am1s 0
701.88/704.21	c CG # clausal cores 1
701.88/704.21	c CG # cardinality cores 0
701.88/704.21	c CG # pb cores 0
701.88/704.21	c CG # pb reforms 0
701.88/704.21	c CG # cores discarded because of pb reform 0
701.88/704.21	d LOWERBOUND 0
701.88/704.21	d NCORES 1
701.88/704.21	d NPBCORES 0
701.88/704.21	d NPBREFORM 0
701.88/704.21	d NTRIMMED 1
701.88/704.21	d NEXHAUSTED 0
701.88/704.21	d NAM1S 0
701.88/704.21	d AM1LB 0
701.88/704.21	c [Papilo Statistics]
701.88/704.21	c prepro time 0.116647s
701.88/704.21	c # tsx applied 18190
701.88/704.21	c # tsx conflicts 0
701.88/704.21	c # bound changes 170
701.88/704.21	c # side changes 3570
701.88/704.21	c # coef changes 46410
701.88/704.21	c # rounds 3
701.88/704.21	c # deted vars 7310
701.88/704.21	c # deted constrs 14282
701.88/704.21	c # consecutive rounds of only bound changes 0
701.88/704.21	c [STEP] postprocessing with Papilo
701.88/704.21	c [Papilo ERROR] Postsolving solution failed. Please use debug mode to obtain more information.
701.88/704.21	c ERROR in papilo postprocessing
701.88/704.21	o 0
701.88/704.21	s OPTIMUM FOUND
701.88/704.21	v

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: 63794 MiB (62274 MiB free)
  memory of node 1: 64507 MiB (62507 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529154-1752260271/watcher-4529154-1752260271 -o /tmp/evaluation-result-4529154-1752260271/solver-4529154-1752260271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116149 --watchdog 3760 mixed-bag HOME/instance-4529154-1752260271.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=117206, runsolver pid=117203

[startup+0.100068 s]*
/proc/loadavg: 4.12 4.09 4.07 5/251 117207
/proc/meminfo: memFree=127771356/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=85480 memory=13884 CPUtime=0.09 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 2658 0 0 0 9 0 0 0 20 0 1 0 141706013 87531520 3471 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 21370 3471 2112 2834 0 4122 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85480 KiB
Current children cumulated memory: 13884 KiB

[startup+0.213143 s]*
/proc/loadavg: 4.12 4.09 4.07 5/251 117207
/proc/meminfo: memFree=127771356/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=88136 memory=16784 CPUtime=0.2 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 3385 0 0 0 19 1 0 0 20 0 1 0 141706013 90251264 4196 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 22034 4196 2112 2834 0 4786 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88136 KiB
Current children cumulated memory: 16784 KiB

[startup+0.31292 s]*
/proc/loadavg: 4.12 4.09 4.07 5/251 117207
/proc/meminfo: memFree=127765812/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=112720 memory=33656 CPUtime=0.3 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 8066 0 0 0 27 3 0 0 20 0 1 0 141706013 115425280 8414 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 28180 8414 2272 2834 0 10385 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112720 KiB
Current children cumulated memory: 33656 KiB

[startup+0.700328 s]
/proc/loadavg: 4.12 4.09 4.07 5/251 117207
/proc/meminfo: memFree=127731792/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=162280 memory=88140 CPUtime=0.67 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 21919 0 0 0 60 7 0 0 20 0 1 0 141706013 166174720 22035 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 40570 22035 4000 2834 0 22775 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 162280 KiB
Current children cumulated memory: 88140 KiB

[startup+1.50035 s]
/proc/loadavg: 4.12 4.09 4.07 5/251 117207
/proc/meminfo: memFree=127715916/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=222232 memory=135052 CPUtime=1.47 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 33520 0 0 0 137 10 0 0 20 0 1 0 141706013 227565568 33763 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 55558 33763 4224 2834 0 37763 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 222232 KiB
Current children cumulated memory: 135052 KiB

[startup+3.11261 s]
/proc/loadavg: 4.12 4.09 4.07 5/251 117207
/proc/meminfo: memFree=127663940/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=224192 memory=137228 CPUtime=3.08 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 34060 0 0 0 298 10 0 0 20 0 1 0 141706013 229572608 34307 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 56048 34307 4224 2834 0 38253 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 224192 KiB
Current children cumulated memory: 137228 KiB

[startup+6.30026 s]
/proc/loadavg: 4.19 4.11 4.08 5/251 117207
/proc/meminfo: memFree=127640016/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=233108 memory=144780 CPUtime=6.26 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 35977 0 0 0 615 11 0 0 20 0 1 0 141706013 238702592 36195 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 58277 36195 4224 2834 0 40482 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 233108 KiB
Current children cumulated memory: 144780 KiB

[startup+12.7003 s]
/proc/loadavg: 4.34 4.14 4.09 5/251 117207
/proc/meminfo: memFree=127624896/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=248376 memory=158988 CPUtime=12.64 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 39629 0 0 0 1252 12 0 0 20 0 1 0 141706013 254337024 39747 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 62094 39747 4224 2834 0 44299 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 248376 KiB
Current children cumulated memory: 158988 KiB

[startup+25.5003 s]
/proc/loadavg: 4.49 4.18 4.10 5/250 117208
/proc/meminfo: memFree=127560884/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=259800 memory=170508 CPUtime=25.4 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 42592 0 0 0 2528 12 0 0 20 0 1 0 141706013 266035200 42627 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 64950 42627 4224 2834 0 47155 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 259800 KiB
Current children cumulated memory: 170508 KiB

[startup+51.1129 s]
/proc/loadavg: 4.66 4.25 4.13 5/250 117253
/proc/meminfo: memFree=125855900/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=291180 memory=201868 CPUtime=50.94 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 50453 0 0 0 5080 14 0 0 20 0 1 0 141706013 298168320 50467 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 72795 50467 4224 2834 0 55000 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 291180 KiB
Current children cumulated memory: 201868 KiB

[startup+102.3 s]
/proc/loadavg: 4.48 4.27 4.14 5/250 117254
/proc/meminfo: memFree=125347212/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=291180 memory=201996 CPUtime=101.97 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 50454 0 0 0 10183 14 0 0 20 0 1 0 141706013 298168320 50499 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 72795 50499 4224 2834 0 55000 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 291180 KiB
Current children cumulated memory: 201996 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.23 4.13 5/251 117257
/proc/meminfo: memFree=125288560/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=311484 memory=222732 CPUtime=161.81 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 55692 0 0 0 16165 16 0 0 20 0 1 0 141706013 318959616 55683 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 77871 55683 4224 2834 0 60076 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 311484 KiB
Current children cumulated memory: 222732 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.19 4.12 5/251 117272
/proc/meminfo: memFree=124054460/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=320900 memory=230796 CPUtime=221.65 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 57702 0 0 0 22148 17 0 0 20 0 1 0 141706013 328601600 57699 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 80225 57699 4224 2834 0 62430 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 320900 KiB
Current children cumulated memory: 230796 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.12 6/251 117319
/proc/meminfo: memFree=106632884/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=322768 memory=232972 CPUtime=281.42 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 58240 0 0 0 28123 19 0 0 20 0 1 0 141706013 330514432 58243 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 80692 58243 4224 2834 0 62897 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 322768 KiB
Current children cumulated memory: 232972 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.11 6/252 117324
/proc/meminfo: memFree=106316044/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=322888 memory=247136 CPUtime=341.21 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 59945 0 0 0 34076 45 0 0 20 0 1 0 141706013 330637312 61784 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 80722 61784 4384 2834 0 62927 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 322888 KiB
Current children cumulated memory: 247136 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.14 4.10 6/252 117329
/proc/meminfo: memFree=105424852/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=322888 memory=250504 CPUtime=400.99 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60300 0 0 0 40033 66 0 0 20 0 1 0 141706013 330637312 62626 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 80722 62626 4384 2834 0 62927 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 322888 KiB
Current children cumulated memory: 250504 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.10 6/251 117331
/proc/meminfo: memFree=104885032/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=260012 CPUtime=460.77 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60625 0 0 0 45991 86 0 0 20 0 1 0 141706013 350060544 65003 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 65003 4384 2834 0 67669 0
Current children cumulated CPU time: 460.77 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 260012 KiB

[startup+522.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/250 117333
/proc/meminfo: memFree=104341928/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=265644 CPUtime=520.55 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60650 0 0 0 51950 105 0 0 20 0 1 0 141706013 350060544 66411 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 66411 4384 2834 0 67669 0
Current children cumulated CPU time: 520.55 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 265644 KiB

[startup+582.3 s]
/proc/loadavg: 4.17 4.14 4.10 6/251 117336
/proc/meminfo: memFree=106764820/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=272044 CPUtime=580.35 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60675 0 0 0 57914 121 0 0 20 0 1 0 141706013 350060544 68011 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 68011 4384 2834 0 67669 0
Current children cumulated CPU time: 580.35 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 272044 KiB

[startup+642.3 s]
/proc/loadavg: 4.06 4.11 4.09 6/250 117338
/proc/meminfo: memFree=107374448/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=272044 CPUtime=640.18 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60696 0 0 0 63883 135 0 0 20 0 1 0 141706013 350060544 68011 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 68011 4384 2834 0 67669 0
Current children cumulated CPU time: 640.18 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 272044 KiB

[startup+702.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 117340
/proc/meminfo: memFree=106864948/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=272044 CPUtime=699.99 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60696 0 0 0 69852 147 0 0 20 0 1 0 141706013 350060544 68011 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 68011 4384 2834 0 67669 0
Current children cumulated CPU time: 699.99 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 272044 KiB

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

# cumulated CPU time of all completed processes:  user=700.424 s, system=1.48412 s

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

[startup+702.4 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 117340
/proc/meminfo: memFree=106864948/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=272044 CPUtime=700.08 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60696 0 0 0 69861 147 0 0 20 0 1 0 141706013 350060544 68011 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 68011 4384 2834 0 67669 0
Current children cumulated CPU time: 700.08 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 272044 KiB

[startup+703.2 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 117340
/proc/meminfo: memFree=106840372/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=272044 CPUtime=700.89 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60696 0 0 0 69941 148 0 0 20 0 1 0 141706013 350060544 68011 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 68011 4384 2834 0 67669 0
Current children cumulated CPU time: 700.89 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 272044 KiB

[startup+704 s]*
/proc/loadavg: 4.13 4.12 4.09 6/250 117340
/proc/meminfo: memFree=106823988/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=272044 CPUtime=701.7 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60696 0 0 0 70022 148 0 0 20 0 1 0 141706013 350060544 68011 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 68011 4384 2834 0 67669 0
Current children cumulated CPU time: 701.7 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 272044 KiB

[startup+704.2 s]
/proc/loadavg: 4.13 4.12 4.09 6/250 117340
/proc/meminfo: memFree=106823988/131382112 swapFree=33009904/33010684
[pid=117206] ppid=117203 vsize=341856 memory=272044 CPUtime=701.88 cores=1,3
/proc/117206/stat : 117206 (mixed-bag) R 117203 117206 116137 0 -1 4194304 60696 0 0 0 70040 148 0 0 20 0 1 0 141706013 350060544 68011 18446744073709551615 4235264 15840557 140724230613744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24252416 140724230617498 140724230617575 140724230617575 140724230623179 0
/proc/117206/statm: 85464 68011 4384 2834 0 67669 0
Current children cumulated CPU time: 701.88 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 272044 KiB

Child status: 0

Real time (s): 704.216
CPU time (s): 701.908
CPU user time (s): 700.424
CPU system time (s): 1.48412
CPU usage (%): 99.6724
Max. virtual memory (cumulated for all children) (KiB): 341856
Max. memory (cumulated for all children) (KiB): 272044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 700.424
system time used= 1.48412
maximum resident set size= 272556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60715
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= 157
involuntary context switches= 443


# summary of solver processes directly reported to runsolver:
#   pid: 117206
#   total CPU time (s): 701.908
#   total CPU user time (s): 700.424
#   total CPU system time (s): 1.48412

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66509 second user time and 6.24242 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-11 20:57:51
IDJOB=4529154
IDBENCH=155633
IDSOLVER=3386
FILE ID=nodeC001/4529154-1752260271
RUNJOBID= nodeC001-1752256268-116149
SLURM_JOB_ID= 9682596
Free space on /tmp= 432460 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_9.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529154-1752260271/watcher-4529154-1752260271 -o /tmp/evaluation-result-4529154-1752260271/solver-4529154-1752260271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116149 --watchdog 3760  mixed-bag HOME/instance-4529154-1752260271.opb

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

MD5SUM BENCH= a11a369abd963989a0475f7e0477b1a8
RANDOM SEED=548696655

nodeC001 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		: 3662.038
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.49
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		: 1895.515
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.49
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.452
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.49
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		: 3700.000
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.49
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.941
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.49
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		: 3691.262
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.340
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.49
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		: 3700.000
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        127777612 kB
MemAvailable:   129440992 kB
Buffers:            1668 kB
Cached:          2444916 kB
SwapCached:          128 kB
Active:           847528 kB
Inactive:        2143372 kB
Active(anon):     534260 kB
Inactive(anon):    27832 kB
Active(file):     313268 kB
Inactive(file):  2115540 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16556 kB
Writeback:             0 kB
AnonPages:        547292 kB
Mapped:           139504 kB
Shmem:             17776 kB
KReclaimable:     148016 kB
Slab:             236236 kB
SReclaimable:     148016 kB
SUnreclaim:        88220 kB
KernelStack:        4064 kB
PageTables:         4396 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     990684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432204 MiB
End job on nodeC001 at 2025-07-11 21:09:36