Trace number 4435802

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-07-02? (TO) 3600.11 3610.31

DiagnosticValue
AM1LB0
LOWERBOUND99328
NAM1S0
NCORES2
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
MD5SUM3aed2088dafec39bc246433683012fc1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark122880
Best CPU time to get the best result obtained on this benchmark3411.58
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20611
Total number of constraints3921
Number of constraints which are clauses563
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3358
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 135
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073849343
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147557374
Number of bits of the biggest sum of numbers32
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.08	c [STEP] solving
0.00/0.08	c #variables 20611 #constraints 3922
0.00/0.08	c SMALL=int, LARGE=long long
0.00/0.08	c bounds - >= 97280 @ 0.075156
0.00/0.08	c stratification level: 0
252.86/253.51	c #Conflicts:       1000 | #Constraints:       4921
252.86/253.51	c #Conflicts:       2000 | #Constraints:       5921
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:       3000 | #Constraints:       6021
252.86/253.51	c #Conflicts:       4000 | #Constraints:       7021
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:       5000 | #Constraints:       6472
252.86/253.51	c #Conflicts:       6000 | #Constraints:       7472
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:       7000 | #Constraints:       6496
252.86/253.51	c #Conflicts:       8000 | #Constraints:       7496
252.86/253.51	c bounds - >= 98304 @ 32.1524
252.86/253.51	c #Conflicts:       9000 | #Constraints:       8498
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      10000 | #Constraints:       7252
252.86/253.51	c #Conflicts:      11000 | #Constraints:       8252
252.86/253.51	c #Conflicts:      12000 | #Constraints:       9252
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      13000 | #Constraints:       7748
252.86/253.51	c #Conflicts:      14000 | #Constraints:       8748
252.86/253.51	c #Conflicts:      15000 | #Constraints:       9748
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      16000 | #Constraints:       7974
252.86/253.51	c #Conflicts:      17000 | #Constraints:       8974
252.86/253.51	c #Conflicts:      18000 | #Constraints:       9974
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      19000 | #Constraints:       7985
252.86/253.51	c #Conflicts:      20000 | #Constraints:       8985
252.86/253.51	c #Conflicts:      21000 | #Constraints:       9985
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      22000 | #Constraints:       7794
252.86/253.51	c #Conflicts:      23000 | #Constraints:       8794
252.86/253.51	c #Conflicts:      24000 | #Constraints:       9794
252.86/253.51	c #Conflicts:      25000 | #Constraints:      10794
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      26000 | #Constraints:       8402
252.86/253.51	c #Conflicts:      27000 | #Constraints:       9402
252.86/253.51	c #Conflicts:      28000 | #Constraints:      10402
252.86/253.51	c #Conflicts:      29000 | #Constraints:      11402
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      30000 | #Constraints:       8808
252.86/253.51	c #Conflicts:      31000 | #Constraints:       9808
252.86/253.51	c #Conflicts:      32000 | #Constraints:      10808
252.86/253.51	c #Conflicts:      33000 | #Constraints:      11808
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      34000 | #Constraints:       9017
252.86/253.51	c #Conflicts:      35000 | #Constraints:      10017
252.86/253.51	c #Conflicts:      36000 | #Constraints:      11017
252.86/253.51	c #Conflicts:      37000 | #Constraints:      12017
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      38000 | #Constraints:       9016
252.86/253.51	c #Conflicts:      39000 | #Constraints:      10016
252.86/253.51	c #Conflicts:      40000 | #Constraints:      11016
252.86/253.51	c #Conflicts:      41000 | #Constraints:      12016
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      42000 | #Constraints:       8816
252.86/253.51	c #Conflicts:      43000 | #Constraints:       9816
252.86/253.51	c #Conflicts:      44000 | #Constraints:      10816
252.86/253.51	c #Conflicts:      45000 | #Constraints:      11816
252.86/253.51	c #Conflicts:      46000 | #Constraints:      12816
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      47000 | #Constraints:       9423
252.86/253.51	c #Conflicts:      48000 | #Constraints:      10423
252.86/253.51	c #Conflicts:      49000 | #Constraints:      11423
252.86/253.51	c #Conflicts:      50000 | #Constraints:      12423
252.86/253.51	c #Conflicts:      51000 | #Constraints:      13423
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      52000 | #Constraints:       9818
252.86/253.51	c #Conflicts:      53000 | #Constraints:      10818
252.86/253.51	c #Conflicts:      54000 | #Constraints:      11818
252.86/253.51	c #Conflicts:      55000 | #Constraints:      12818
252.86/253.51	c #Conflicts:      56000 | #Constraints:      13818
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      57000 | #Constraints:      10018
252.86/253.51	c #Conflicts:      58000 | #Constraints:      11018
252.86/253.51	c #Conflicts:      59000 | #Constraints:      12018
252.86/253.51	c #Conflicts:      60000 | #Constraints:      13018
252.86/253.51	c #Conflicts:      61000 | #Constraints:      14018
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      62000 | #Constraints:      10017
252.86/253.51	c #Conflicts:      63000 | #Constraints:      11017
252.86/253.51	c #Conflicts:      64000 | #Constraints:      12017
252.86/253.51	c #Conflicts:      65000 | #Constraints:      13017
252.86/253.51	c #Conflicts:      66000 | #Constraints:      14017
252.86/253.51	c INPROCESSING
252.86/253.51	c GARBAGE COLLECT
252.86/253.51	c #Conflicts:      67000 | #Constraints:       9824
1709.18/1713.98	c #Conflicts:      68000 | #Constraints:      10824
1709.18/1713.98	c #Conflicts:      69000 | #Constraints:      11824
1709.18/1713.98	c #Conflicts:      70000 | #Constraints:      12824
1709.18/1713.98	c bounds - >= 99328 @ 261.772
1709.18/1713.98	c #Conflicts:      71000 | #Constraints:      13825
1709.18/1713.98	c #Conflicts:      72000 | #Constraints:      14825
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:      73000 | #Constraints:      10440
1709.18/1713.98	c #Conflicts:      74000 | #Constraints:      11440
1709.18/1713.98	c #Conflicts:      75000 | #Constraints:      12440
1709.18/1713.98	c #Conflicts:      76000 | #Constraints:      13440
1709.18/1713.98	c #Conflicts:      77000 | #Constraints:      14440
1709.18/1713.98	c #Conflicts:      78000 | #Constraints:      15440
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:      79000 | #Constraints:      10864
1709.18/1713.98	c #Conflicts:      80000 | #Constraints:      11864
1709.18/1713.98	c #Conflicts:      81000 | #Constraints:      12864
1709.18/1713.98	c #Conflicts:      82000 | #Constraints:      13864
1709.18/1713.98	c #Conflicts:      83000 | #Constraints:      14864
1709.18/1713.98	c #Conflicts:      84000 | #Constraints:      15864
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:      85000 | #Constraints:      11081
1709.18/1713.98	c #Conflicts:      86000 | #Constraints:      12081
1709.18/1713.98	c #Conflicts:      87000 | #Constraints:      13081
1709.18/1713.98	c #Conflicts:      88000 | #Constraints:      14081
1709.18/1713.98	c #Conflicts:      89000 | #Constraints:      15081
1709.18/1713.98	c #Conflicts:      90000 | #Constraints:      16081
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:      91000 | #Constraints:      11067
1709.18/1713.98	c #Conflicts:      92000 | #Constraints:      12067
1709.18/1713.98	c #Conflicts:      93000 | #Constraints:      13067
1709.18/1713.98	c #Conflicts:      94000 | #Constraints:      14067
1709.18/1713.98	c #Conflicts:      95000 | #Constraints:      15067
1709.18/1713.98	c #Conflicts:      96000 | #Constraints:      16067
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:      97000 | #Constraints:      10872
1709.18/1713.98	c #Conflicts:      98000 | #Constraints:      11872
1709.18/1713.98	c #Conflicts:      99000 | #Constraints:      12872
1709.18/1713.98	c #Conflicts:     100000 | #Constraints:      13872
1709.18/1713.98	c #Conflicts:     101000 | #Constraints:      14872
1709.18/1713.98	c #Conflicts:     102000 | #Constraints:      15872
1709.18/1713.98	c #Conflicts:     103000 | #Constraints:      16872
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:     104000 | #Constraints:      11476
1709.18/1713.98	c #Conflicts:     105000 | #Constraints:      12476
1709.18/1713.98	c #Conflicts:     106000 | #Constraints:      13476
1709.18/1713.98	c #Conflicts:     107000 | #Constraints:      14476
1709.18/1713.98	c #Conflicts:     108000 | #Constraints:      15476
1709.18/1713.98	c #Conflicts:     109000 | #Constraints:      16476
1709.18/1713.98	c #Conflicts:     110000 | #Constraints:      17476
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:     111000 | #Constraints:      11876
1709.18/1713.98	c #Conflicts:     112000 | #Constraints:      12876
1709.18/1713.98	c #Conflicts:     113000 | #Constraints:      13876
1709.18/1713.98	c #Conflicts:     114000 | #Constraints:      14876
1709.18/1713.98	c #Conflicts:     115000 | #Constraints:      15876
1709.18/1713.98	c #Conflicts:     116000 | #Constraints:      16876
1709.18/1713.98	c #Conflicts:     117000 | #Constraints:      17876
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:     118000 | #Constraints:      12087
1709.18/1713.98	c #Conflicts:     119000 | #Constraints:      13087
1709.18/1713.98	c #Conflicts:     120000 | #Constraints:      14087
1709.18/1713.98	c #Conflicts:     121000 | #Constraints:      15087
1709.18/1713.98	c #Conflicts:     122000 | #Constraints:      16087
1709.18/1713.98	c #Conflicts:     123000 | #Constraints:      17087
1709.18/1713.98	c #Conflicts:     124000 | #Constraints:      18087
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:     125000 | #Constraints:      12101
1709.18/1713.98	c #Conflicts:     126000 | #Constraints:      13101
1709.18/1713.98	c #Conflicts:     127000 | #Constraints:      14101
1709.18/1713.98	c #Conflicts:     128000 | #Constraints:      15101
1709.18/1713.98	c #Conflicts:     129000 | #Constraints:      16101
1709.18/1713.98	c #Conflicts:     130000 | #Constraints:      17101
1709.18/1713.98	c #Conflicts:     131000 | #Constraints:      18101
1709.18/1713.98	c INPROCESSING
1709.18/1713.98	c GARBAGE COLLECT
1709.18/1713.98	c #Conflicts:     132000 | #Constraints:      11909
1709.18/1713.98	c #Conflicts:     133000 | #Constraints:      12909
1709.18/1713.98	c #Conflicts:     134000 | #Constraints:      13909
1709.18/1713.98	c #Conflicts:     135000 | #Constraints:      14909
1709.18/1713.98	c #Conflicts:     136000 | #Constraints:      15909
1709.18/1713.98	c #Conflicts:     137000 | #Constraints:      16909
1709.18/1713.98	c #Conflicts:     138000 | #Constraints:      17909
1709.18/1713.98	c #Conflicts:     139000 | #Constraints:      18909
3600.09/3610.30	c INPROCESSING
3600.09/3610.30	c GARBAGE COLLECT
3600.09/3610.30	c #Conflicts:     140000 | #Constraints:      12496
3600.09/3610.30	c #Conflicts:     141000 | #Constraints:      13496
3600.09/3610.30	c #Conflicts:     142000 | #Constraints:      14496
3600.09/3610.30	c #Conflicts:     143000 | #Constraints:      15496
3600.09/3610.30	c #Conflicts:     144000 | #Constraints:      16496
3600.09/3610.30	c #Conflicts:     145000 | #Constraints:      17496
3600.09/3610.30	c #Conflicts:     146000 | #Constraints:      18496
3600.09/3610.30	c #Conflicts:     147000 | #Constraints:      19496
3600.09/3610.30	c INPROCESSING
3600.09/3610.30	c GARBAGE COLLECT
3600.09/3610.30	c #Conflicts:     148000 | #Constraints:      12904
3600.09/3610.30	c #Conflicts:     149000 | #Constraints:      13904
3600.09/3610.30	c #Conflicts:     150000 | #Constraints:      14904
3600.09/3610.30	c #Conflicts:     151000 | #Constraints:      15904
3600.09/3610.30	c #Conflicts:     152000 | #Constraints:      16904
3600.09/3610.30	c #Conflicts:     153000 | #Constraints:      17904
3600.09/3610.30	c #Conflicts:     154000 | #Constraints:      18904
3600.09/3610.30	c #Conflicts:     155000 | #Constraints:      19904
3600.09/3610.30	c #Conflicts:     156000 | #Constraints:      20904
3600.09/3610.30	c #Conflicts:     157000 | #Constraints:      21904
3600.09/3610.30	c #Conflicts:     158000 | #Constraints:      22904
3600.09/3610.30	c #Conflicts:     159000 | #Constraints:      23904
3600.09/3610.30	c #Conflicts:     160000 | #Constraints:      24904
3600.09/3610.30	c #Conflicts:     161000 | #Constraints:      25904
3600.09/3610.30	c #Conflicts:     162000 | #Constraints:      26904
3600.09/3610.30	c #Conflicts:     163000 | #Constraints:      27904
3600.09/3610.30	c #Conflicts:     164000 | #Constraints:      28904
3600.09/3610.30	c #Conflicts:     165000 | #Constraints:      29904
3600.09/3610.30	c #Conflicts:     166000 | #Constraints:      30904
3600.09/3610.30	c #Conflicts:     167000 | #Constraints:      31904
3600.09/3610.30	c #Conflicts:     168000 | #Constraints:      32904
3600.09/3610.30	c #Conflicts:     169000 | #Constraints:      33904
3600.09/3610.30	c Program interrupted by user.
3600.09/3610.30	c cpu time 3596.23 s
3600.09/3610.30	c deterministic time 243869982299 2.44e+11
3600.09/3610.30	c optimization time 1631.95 s
3600.09/3610.30	c total solve time 1964.2 s
3600.09/3610.30	c core-guided solve time 1964.2 s
3600.09/3610.30	c propagation time 3506.47 s
3600.09/3610.30	c conflict analysis time 82.4725 s
3600.09/3610.30	c propagations 269922427
3600.09/3610.30	c resolve steps 3389554
3600.09/3610.30	c decisions 1767987
3600.09/3610.30	c conflicts 169500
3600.09/3610.30	c restarts 459
3600.09/3610.30	c inprocessing phases 30
3600.09/3610.30	c input clauses 564
3600.09/3610.30	c input cardinalities 1
3600.09/3610.30	c input general constraints 3359
3600.09/3610.30	c input average constraint length 46.09
3600.09/3610.30	c input average constraint degree 725730047.37
3600.09/3610.30	c learned clauses 688
3600.09/3610.30	c learned cardinalities 1
3600.09/3610.30	c learned general constraints 168812
3600.09/3610.30	c learned average constraint length 161.12
3600.09/3610.30	c learned average constraint degree 527386355.59
3600.09/3610.30	c watched constraints 172034
3600.09/3610.30	c counting constraints 137
3600.09/3610.30	c gcd simplifications 647
3600.09/3610.30	c detected cardinalities 1
3600.09/3610.30	c weakened non-implied lits 73674
3600.09/3610.30	c weakened non-implying lits 1581
3600.09/3610.30	c original variables 20611
3600.09/3610.30	c clausal propagations 1608874
3600.09/3610.30	c cardinality propagations 215
3600.09/3610.30	c watched propagations 268091044
3600.09/3610.30	c counting propagations 220183
3600.09/3610.30	c watch lookups 68725438006
3600.09/3610.30	c watch backjump lookups 68655604551
3600.09/3610.30	c watch checks 29537035040
3600.09/3610.30	c propagation checks 76183928607
3600.09/3610.30	c constraint additions 224426693
3600.09/3610.30	c trail pops 271858987
3600.09/3610.30	c formula constraints 3922
3600.09/3610.30	c learned constraints 169501
3600.09/3610.30	c bound constraints 2
3600.09/3610.30	c core-guided constraints 0
3600.09/3610.30	c encountered formula constraints 1531755
3600.09/3610.30	c encountered learned constraints 2027299
3600.09/3610.30	c encountered bound constraints 0
3600.09/3610.30	c encountered core-guided constraints 0
3600.09/3610.30	c LP total time 0 s
3600.09/3610.30	c LP solve time 0 s
3600.09/3610.30	c LP constraints added 0
3600.09/3610.30	c LP constraints removed 0
3600.09/3610.30	c LP pivots internal 0
3600.09/3610.30	c LP pivots root 0
3600.09/3610.30	c LP calls 0
3600.09/3610.30	c LP optimalities 0
3600.09/3610.30	c LP no pivot count 0
3600.09/3610.30	c LP infeasibilities 0
3600.09/3610.30	c LP valid Farkas constraints 0
3600.09/3610.30	c LP learned Farkas constraints 0
3600.09/3610.30	c LP basis resets 0
3600.09/3610.30	c LP cycling count 0
3600.09/3610.30	c LP singular count 0
3600.09/3610.30	c LP no primal count 0
3600.09/3610.30	c LP no farkas count 0
3600.09/3610.30	c LP other issue count 0
3600.09/3610.30	c LP Gomory cuts 0
3600.09/3610.30	c LP learned cuts 0
3600.09/3610.30	c LP deleted cuts 0
3600.09/3610.30	c LP encountered Gomory constraints 0
3600.09/3610.30	c LP encountered Farkas constraints 0
3600.09/3610.30	c LP encountered learned Farkas constraints 0
3600.09/3610.30	c CG auxiliary variables introduced 0
3600.09/3610.30	c CG solutions found 0
3600.09/3610.30	c CG cores constructed 2
3600.09/3610.30	c CG core cardinality constraints returned 0
3600.09/3610.30	c CG unit cores 0
3600.09/3610.30	c CG single cores 2
3600.09/3610.30	c CG blocks removed during cardinality reduction 0
3600.09/3610.30	c CG first core best 0
3600.09/3610.30	c CG decision core best 0
3600.09/3610.30	c CG core reduction tie 0
3600.09/3610.30	c CG core degree average 1.00
3600.09/3610.30	c CG core slack average 5.50
3600.09/3610.30	c CG exhausted 0
3600.09/3610.30	c CG exhaust time 0 s
3600.09/3610.30	c CG trimmed 0
3600.09/3610.30	c CG trim time 7.6e-05 s
3600.09/3610.30	c CG minimized 0
3600.09/3610.30	c CG minimize time 0 s
3600.09/3610.30	c CG am1 prop time 0.000396 s
3600.09/3610.30	c CG # am1s reformulated 0
3600.09/3610.30	c CG lower bound derived from am1s 0
3600.09/3610.30	c CG # clausal cores 2
3600.09/3610.30	c CG # cardinality cores 0
3600.09/3610.30	c CG # pb cores 0
3600.09/3610.30	c CG # pb reforms 0
3600.09/3610.30	c CG # cores discarded because of pb reform 0
3600.09/3610.30	d LOWERBOUND 99328
3600.09/3610.30	d NCORES 2
3600.09/3610.30	d NPBCORES 0
3600.09/3610.30	d NPBREFORM 0
3600.09/3610.30	d NTRIMMED 0
3600.09/3610.30	d NEXHAUSTED 0
3600.09/3610.30	d NAM1S 0
3600.09/3610.30	d AM1LB 0
3600.09/3610.30	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (63079 MiB free)
  memory of node 1: 64510 MiB (63237 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435802-1721073794/watcher-4435802-1721073794 -o /tmp/evaluation-result-4435802-1721073794/solver-4435802-1721073794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721070197-807786 --watchdog 3760 pb-oll-rs HOME/instance-4435802-1721073794.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=809745, runsolver pid=809741

[startup+0.100067 s]*
/proc/loadavg: 4.10 4.23 4.25 5/238 809760
/proc/meminfo: memFree=129344504/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=46868 memory=15628 CPUtime=0.1 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 2854 0 0 0 9 1 0 0 20 0 1 0 159535853 47992832 3907 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 11717 3907 1429 291 0 3251 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46868 KiB
Current children cumulated memory: 15628 KiB

[startup+0.213089 s]*
/proc/loadavg: 4.10 4.23 4.25 5/242 809771
/proc/meminfo: memFree=129332040/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=48520 memory=19524 CPUtime=0.21 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 3307 0 0 0 20 1 0 0 20 0 1 0 159535853 49684480 4881 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 12130 4881 1429 291 0 3664 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48520 KiB
Current children cumulated memory: 19524 KiB

[startup+0.313101 s]*
/proc/loadavg: 4.10 4.23 4.25 5/242 809771
/proc/meminfo: memFree=129326468/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=48652 memory=19784 CPUtime=0.31 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 3332 0 0 0 30 1 0 0 20 0 1 0 159535853 49819648 4946 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 12163 4946 1429 291 0 3697 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48652 KiB
Current children cumulated memory: 19784 KiB

[startup+0.700315 s]
/proc/loadavg: 4.01 4.21 4.24 4/240 809771
/proc/meminfo: memFree=129698416/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=49444 memory=20312 CPUtime=0.69 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 3523 0 0 0 67 2 0 0 20 0 1 0 159535853 50630656 5078 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 12361 5078 1429 291 0 3895 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49444 KiB
Current children cumulated memory: 20312 KiB

[startup+1.50033 s]
/proc/loadavg: 4.01 4.21 4.24 5/238 809806
/proc/meminfo: memFree=129675972/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=50764 memory=21632 CPUtime=1.48 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 3851 0 0 0 145 3 0 0 20 0 1 0 159535853 51982336 5408 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 12691 5408 1429 291 0 4225 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50764 KiB
Current children cumulated memory: 21632 KiB

[startup+3.11242 s]
/proc/loadavg: 4.01 4.21 4.24 5/240 809831
/proc/meminfo: memFree=129682656/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=52236 memory=23740 CPUtime=3.09 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 4330 0 0 0 305 4 0 0 20 0 1 0 159535853 53489664 5935 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 13059 5935 1429 291 0 4593 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52236 KiB
Current children cumulated memory: 23740 KiB

[startup+6.30033 s]
/proc/loadavg: 4.01 4.21 4.24 5/242 809863
/proc/meminfo: memFree=129573872/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=55532 memory=26164 CPUtime=6.26 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 4534 0 0 0 621 5 0 0 20 0 1 0 159535853 56864768 6541 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 13883 6541 1429 291 0 5417 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55532 KiB
Current children cumulated memory: 26164 KiB

[startup+12.7003 s]
/proc/loadavg: 4.01 4.20 4.24 5/242 809865
/proc/meminfo: memFree=129399780/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=58104 memory=28484 CPUtime=12.65 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 5169 0 0 0 1258 7 0 0 20 0 1 0 159535853 59498496 7121 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 14526 7121 1429 291 0 6060 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 58104 KiB
Current children cumulated memory: 28484 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 4.21 4.24 5/241 809866
/proc/meminfo: memFree=129272452/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=64124 memory=30668 CPUtime=25.43 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 5717 0 0 0 2532 11 0 0 20 0 1 0 159535853 65662976 7667 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 16031 7667 1429 291 0 7565 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 64124 KiB
Current children cumulated memory: 30668 KiB

[startup+51.1129 s]
/proc/loadavg: 4.05 4.19 4.23 5/241 809871
/proc/meminfo: memFree=128976852/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=70728 memory=39524 CPUtime=50.98 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 7396 0 0 0 5076 22 0 0 20 0 1 0 159535853 72425472 9881 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 17682 9881 1429 291 0 9216 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 70728 KiB
Current children cumulated memory: 39524 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.18 4.22 5/241 809880
/proc/meminfo: memFree=128522724/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=73680 memory=42128 CPUtime=102.04 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 8075 0 0 0 10157 47 0 0 20 0 1 0 159535853 75448320 10532 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 18420 10532 1429 291 0 9954 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 73680 KiB
Current children cumulated memory: 42128 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.21 5/241 809891
/proc/meminfo: memFree=128277784/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=75124 memory=43672 CPUtime=161.88 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 8486 0 0 0 16119 69 0 0 20 0 1 0 159535853 76926976 10918 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 18781 10918 1429 291 0 10315 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 75124 KiB
Current children cumulated memory: 43672 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.14 4.20 5/241 809901
/proc/meminfo: memFree=127946960/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=76940 memory=44972 CPUtime=221.74 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 8814 0 0 0 22085 89 0 0 20 0 1 0 159535853 78786560 11243 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 19235 11243 1429 291 0 10769 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 76940 KiB
Current children cumulated memory: 44972 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.19 5/241 809911
/proc/meminfo: memFree=127706560/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=80060 memory=49440 CPUtime=281.58 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 9899 0 0 0 28050 108 0 0 20 0 1 0 159535853 81981440 12360 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 20015 12360 1429 291 0 11549 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 80060 KiB
Current children cumulated memory: 49440 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.18 5/241 809922
/proc/meminfo: memFree=127650668/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=93732 memory=60296 CPUtime=341.43 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 11613 0 0 0 34023 120 0 0 20 0 1 0 159535853 95981568 15074 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 23433 15074 1429 291 0 14967 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 93732 KiB
Current children cumulated memory: 60296 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.18 5/241 809932
/proc/meminfo: memFree=127407576/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=94500 memory=60808 CPUtime=401.27 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 11759 0 0 0 39996 131 0 0 20 0 1 0 159535853 96768000 15202 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 23625 15202 1429 291 0 15159 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 94500 KiB
Current children cumulated memory: 60808 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.18 5/243 809946
/proc/meminfo: memFree=127315216/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=96452 memory=62384 CPUtime=461.1 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 12147 0 0 0 45970 140 0 0 20 0 1 0 159535853 98766848 15596 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 24113 15596 1429 291 0 15647 0

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

Current children cumulated memory: 113620 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/244 811002
/proc/meminfo: memFree=123876124/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=161736 memory=114672 CPUtime=2914.14 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 20773 0 0 0 291050 364 0 0 20 0 1 0 159535853 165617664 28668 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 40434 28668 1429 291 0 31968 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 161736 KiB
Current children cumulated memory: 114672 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/244 811013
/proc/meminfo: memFree=123824220/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=162504 memory=115248 CPUtime=2973.96 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 20968 0 0 0 297030 366 0 0 20 0 1 0 159535853 166404096 28812 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 40626 28812 1429 291 0 32160 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 162504 KiB
Current children cumulated memory: 115248 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/244 811023
/proc/meminfo: memFree=123770460/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=163528 memory=118228 CPUtime=3033.78 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 21198 0 0 0 303009 369 0 0 20 0 1 0 159535853 167452672 29557 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 40882 29557 1429 291 0 32416 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 163528 KiB
Current children cumulated memory: 118228 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/244 811034
/proc/meminfo: memFree=123756320/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=164552 memory=118904 CPUtime=3093.61 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 21421 0 0 0 308990 371 0 0 20 0 1 0 159535853 168501248 29726 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 41138 29726 1429 291 0 32672 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 164552 KiB
Current children cumulated memory: 118904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/244 811427
/proc/meminfo: memFree=123736800/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=165320 memory=121632 CPUtime=3153.43 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 21610 0 0 0 314970 373 0 0 20 0 1 0 159535853 169287680 30408 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 41330 30408 1429 291 0 32864 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 165320 KiB
Current children cumulated memory: 121632 KiB

[startup+3222.3 s]
/proc/loadavg: 4.64 4.28 4.18 5/241 811437
/proc/meminfo: memFree=123721472/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=165704 memory=122032 CPUtime=3213.26 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 21759 0 0 0 320951 375 0 0 20 0 1 0 159535853 169680896 30508 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 41426 30508 1429 291 0 32960 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 165704 KiB
Current children cumulated memory: 122032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.30 4.19 5/241 811448
/proc/meminfo: memFree=123704800/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=168640 memory=124024 CPUtime=3273.09 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 22289 0 0 0 326932 377 0 0 20 0 1 0 159535853 172687360 31006 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 42160 31006 1429 291 0 33694 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 168640 KiB
Current children cumulated memory: 124024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.28 4.19 5/243 811629
/proc/meminfo: memFree=123687628/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=169408 memory=126804 CPUtime=3332.9 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 22476 0 0 0 332911 379 0 0 20 0 1 0 159535853 173473792 31701 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 42352 31701 1429 291 0 33886 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 169408 KiB
Current children cumulated memory: 126804 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.23 4.17 5/243 811639
/proc/meminfo: memFree=123669980/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=170048 memory=127412 CPUtime=3392.72 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 22668 0 0 0 338891 381 0 0 20 0 1 0 159535853 174129152 31853 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 42512 31853 1429 291 0 34046 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 170048 KiB
Current children cumulated memory: 127412 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/245 811664
/proc/meminfo: memFree=123653948/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=171200 memory=128176 CPUtime=3452.55 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 22881 0 0 0 344871 384 0 0 20 0 1 0 159535853 175308800 32044 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 42800 32044 1429 291 0 34334 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 171200 KiB
Current children cumulated memory: 128176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.50 4.29 4.20 5/245 811674
/proc/meminfo: memFree=123638376/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=171712 memory=130788 CPUtime=3512.36 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 23048 0 0 0 350851 385 0 0 20 0 1 0 159535853 175833088 32697 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 42928 32697 1429 291 0 34462 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 171712 KiB
Current children cumulated memory: 130788 KiB

[startup+3582.3 s]
/proc/loadavg: 4.62 4.38 4.24 5/245 811686
/proc/meminfo: memFree=123622532/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=172224 memory=131188 CPUtime=3572.18 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 23202 0 0 0 356831 387 0 0 20 0 1 0 159535853 176357376 32797 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 43056 32797 1429 291 0 34590 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 172224 KiB
Current children cumulated memory: 131188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.41 4.35 4.23 5/245 811737
/proc/meminfo: memFree=126758560/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=172224 memory=131188 CPUtime=3600.09 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 23222 0 0 0 359622 387 0 0 20 0 1 0 159535853 176357376 32797 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 43056 32797 1429 291 0 34590 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 172224 KiB
Current children cumulated memory: 131188 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.23 s, system=3.8815 s

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

[startup+3610.3 s]
/proc/loadavg: 4.41 4.35 4.23 5/245 811737
/proc/meminfo: memFree=126758560/131655788 swapFree=131071996/131071996
[pid=809745] ppid=809741 vsize=172224 memory=131188 CPUtime=3600.09 cores=5,7
/proc/809745/stat : 809745 (pb-oll-rs) R 809741 809745 807773 0 -1 4194304 23222 0 0 0 359622 387 0 0 20 0 1 0 159535853 176357376 32797 134679101440 4194304 5384005 140725468210304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 20148224 140725468218391 140725468218468 140725468218468 140725468225483 0
/proc/809745/statm: 43056 32797 1429 291 0 34590 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 172224 KiB
Current children cumulated memory: 131188 KiB

Child status: 0

Real time (s): 3610.31
CPU time (s): 3600.11
CPU user time (s): 3596.23
CPU system time (s): 3.8815
CPU usage (%): 99.7176
Max. virtual memory (cumulated for all children) (KiB): 172224
Max. memory (cumulated for all children) (KiB): 131188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.23
system time used= 3.8815
maximum resident set size= 131384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23237
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= 33
involuntary context switches= 3538


# summary of solver processes directly reported to runsolver:
#   pid: 809745
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3596.23
#   total CPU system time (s): 3.8815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6602 second user time and 36.3041 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-15 22:03:27
IDJOB=4435802
IDBENCH=146780
IDSOLVER=3067
FILE ID=nodeC008/4435802-1721073794
RUNJOBID= nodeC008-1721070197-807786
SLURM_JOB_ID= 7505525
Free space on /tmp= 723756 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435802-1721073794/watcher-4435802-1721073794 -o /tmp/evaluation-result-4435802-1721073794/solver-4435802-1721073794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721070197-807786 --watchdog 3760  pb-oll-rs HOME/instance-4435802-1721073794.opb

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

MD5SUM BENCH= 3aed2088dafec39bc246433683012fc1
RANDOM SEED=588421050

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3664.940
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 3655.837
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.460
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.332
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3491.963
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 3491.996
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.246
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.245
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129348072 kB
MemAvailable:   129488660 kB
Buffers:          389656 kB
Cached:           596456 kB
SwapCached:            0 kB
Active:           623744 kB
Inactive:        1167440 kB
Active(anon):       1500 kB
Inactive(anon):   841628 kB
Active(file):     622244 kB
Inactive(file):   325812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4012 kB
Writeback:             0 kB
AnonPages:        801776 kB
Mapped:           106408 kB
Shmem:             37704 kB
KReclaimable:      65128 kB
Slab:             158588 kB
SReclaimable:      65128 kB
SUnreclaim:        93460 kB
KernelStack:        3900 kB
PageTables:        10684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1304736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51040 kB
HardwareCorrupted:     0 kB
AnonHugePages:    673792 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC008 at 2024-07-15 23:03:37