Trace number 4454244

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-19? (TO) 3600.1 3610.03

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.10/0.15	c [STEP] solving
0.10/0.15	c #variables 20611 #constraints 3922
0.10/0.15	c SMALL=int, LARGE=long long
0.10/0.15	c bounds - >= 97280 @ 0.132945
0.10/0.15	c stratification level: 0
262.04/262.74	c #Conflicts:       1000 | #Constraints:       4921
262.04/262.74	c #Conflicts:       2000 | #Constraints:       5921
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:       3000 | #Constraints:       6021
262.04/262.74	c #Conflicts:       4000 | #Constraints:       7021
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:       5000 | #Constraints:       6472
262.04/262.74	c #Conflicts:       6000 | #Constraints:       7472
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:       7000 | #Constraints:       6496
262.04/262.74	c #Conflicts:       8000 | #Constraints:       7496
262.04/262.74	c bounds - >= 98304 @ 33.0857
262.04/262.74	c #Conflicts:       9000 | #Constraints:       8498
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      10000 | #Constraints:       7252
262.04/262.74	c #Conflicts:      11000 | #Constraints:       8252
262.04/262.74	c #Conflicts:      12000 | #Constraints:       9252
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      13000 | #Constraints:       7748
262.04/262.74	c #Conflicts:      14000 | #Constraints:       8748
262.04/262.74	c #Conflicts:      15000 | #Constraints:       9748
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      16000 | #Constraints:       7974
262.04/262.74	c #Conflicts:      17000 | #Constraints:       8974
262.04/262.74	c #Conflicts:      18000 | #Constraints:       9974
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      19000 | #Constraints:       7985
262.04/262.74	c #Conflicts:      20000 | #Constraints:       8985
262.04/262.74	c #Conflicts:      21000 | #Constraints:       9985
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      22000 | #Constraints:       7794
262.04/262.74	c #Conflicts:      23000 | #Constraints:       8794
262.04/262.74	c #Conflicts:      24000 | #Constraints:       9794
262.04/262.74	c #Conflicts:      25000 | #Constraints:      10794
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      26000 | #Constraints:       8402
262.04/262.74	c #Conflicts:      27000 | #Constraints:       9402
262.04/262.74	c #Conflicts:      28000 | #Constraints:      10402
262.04/262.74	c #Conflicts:      29000 | #Constraints:      11402
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      30000 | #Constraints:       8808
262.04/262.74	c #Conflicts:      31000 | #Constraints:       9808
262.04/262.74	c #Conflicts:      32000 | #Constraints:      10808
262.04/262.74	c #Conflicts:      33000 | #Constraints:      11808
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      34000 | #Constraints:       9017
262.04/262.74	c #Conflicts:      35000 | #Constraints:      10017
262.04/262.74	c #Conflicts:      36000 | #Constraints:      11017
262.04/262.74	c #Conflicts:      37000 | #Constraints:      12017
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      38000 | #Constraints:       9016
262.04/262.74	c #Conflicts:      39000 | #Constraints:      10016
262.04/262.74	c #Conflicts:      40000 | #Constraints:      11016
262.04/262.74	c #Conflicts:      41000 | #Constraints:      12016
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      42000 | #Constraints:       8816
262.04/262.74	c #Conflicts:      43000 | #Constraints:       9816
262.04/262.74	c #Conflicts:      44000 | #Constraints:      10816
262.04/262.74	c #Conflicts:      45000 | #Constraints:      11816
262.04/262.74	c #Conflicts:      46000 | #Constraints:      12816
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      47000 | #Constraints:       9423
262.04/262.74	c #Conflicts:      48000 | #Constraints:      10423
262.04/262.74	c #Conflicts:      49000 | #Constraints:      11423
262.04/262.74	c #Conflicts:      50000 | #Constraints:      12423
262.04/262.74	c #Conflicts:      51000 | #Constraints:      13423
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      52000 | #Constraints:       9818
262.04/262.74	c #Conflicts:      53000 | #Constraints:      10818
262.04/262.74	c #Conflicts:      54000 | #Constraints:      11818
262.04/262.74	c #Conflicts:      55000 | #Constraints:      12818
262.04/262.74	c #Conflicts:      56000 | #Constraints:      13818
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      57000 | #Constraints:      10018
262.04/262.74	c #Conflicts:      58000 | #Constraints:      11018
262.04/262.74	c #Conflicts:      59000 | #Constraints:      12018
262.04/262.74	c #Conflicts:      60000 | #Constraints:      13018
262.04/262.74	c #Conflicts:      61000 | #Constraints:      14018
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      62000 | #Constraints:      10017
262.04/262.74	c #Conflicts:      63000 | #Constraints:      11017
262.04/262.74	c #Conflicts:      64000 | #Constraints:      12017
262.04/262.74	c #Conflicts:      65000 | #Constraints:      13017
262.04/262.74	c #Conflicts:      66000 | #Constraints:      14017
262.04/262.74	c INPROCESSING
262.04/262.74	c GARBAGE COLLECT
262.04/262.74	c #Conflicts:      67000 | #Constraints:       9824
1856.34/1861.19	c #Conflicts:      68000 | #Constraints:      10824
1856.34/1861.19	c #Conflicts:      69000 | #Constraints:      11824
1856.34/1861.19	c #Conflicts:      70000 | #Constraints:      12824
1856.34/1861.19	c bounds - >= 99328 @ 271.411
1856.34/1861.19	c #Conflicts:      71000 | #Constraints:      13825
1856.34/1861.19	c #Conflicts:      72000 | #Constraints:      14825
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:      73000 | #Constraints:      10440
1856.34/1861.19	c #Conflicts:      74000 | #Constraints:      11440
1856.34/1861.19	c #Conflicts:      75000 | #Constraints:      12440
1856.34/1861.19	c #Conflicts:      76000 | #Constraints:      13440
1856.34/1861.19	c #Conflicts:      77000 | #Constraints:      14440
1856.34/1861.19	c #Conflicts:      78000 | #Constraints:      15440
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:      79000 | #Constraints:      10864
1856.34/1861.19	c #Conflicts:      80000 | #Constraints:      11864
1856.34/1861.19	c #Conflicts:      81000 | #Constraints:      12864
1856.34/1861.19	c #Conflicts:      82000 | #Constraints:      13864
1856.34/1861.19	c #Conflicts:      83000 | #Constraints:      14864
1856.34/1861.19	c #Conflicts:      84000 | #Constraints:      15864
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:      85000 | #Constraints:      11081
1856.34/1861.19	c #Conflicts:      86000 | #Constraints:      12081
1856.34/1861.19	c #Conflicts:      87000 | #Constraints:      13081
1856.34/1861.19	c #Conflicts:      88000 | #Constraints:      14081
1856.34/1861.19	c #Conflicts:      89000 | #Constraints:      15081
1856.34/1861.19	c #Conflicts:      90000 | #Constraints:      16081
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:      91000 | #Constraints:      11067
1856.34/1861.19	c #Conflicts:      92000 | #Constraints:      12067
1856.34/1861.19	c #Conflicts:      93000 | #Constraints:      13067
1856.34/1861.19	c #Conflicts:      94000 | #Constraints:      14067
1856.34/1861.19	c #Conflicts:      95000 | #Constraints:      15067
1856.34/1861.19	c #Conflicts:      96000 | #Constraints:      16067
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:      97000 | #Constraints:      10872
1856.34/1861.19	c #Conflicts:      98000 | #Constraints:      11872
1856.34/1861.19	c #Conflicts:      99000 | #Constraints:      12872
1856.34/1861.19	c #Conflicts:     100000 | #Constraints:      13872
1856.34/1861.19	c #Conflicts:     101000 | #Constraints:      14872
1856.34/1861.19	c #Conflicts:     102000 | #Constraints:      15872
1856.34/1861.19	c #Conflicts:     103000 | #Constraints:      16872
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:     104000 | #Constraints:      11476
1856.34/1861.19	c #Conflicts:     105000 | #Constraints:      12476
1856.34/1861.19	c #Conflicts:     106000 | #Constraints:      13476
1856.34/1861.19	c #Conflicts:     107000 | #Constraints:      14476
1856.34/1861.19	c #Conflicts:     108000 | #Constraints:      15476
1856.34/1861.19	c #Conflicts:     109000 | #Constraints:      16476
1856.34/1861.19	c #Conflicts:     110000 | #Constraints:      17476
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:     111000 | #Constraints:      11876
1856.34/1861.19	c #Conflicts:     112000 | #Constraints:      12876
1856.34/1861.19	c #Conflicts:     113000 | #Constraints:      13876
1856.34/1861.19	c #Conflicts:     114000 | #Constraints:      14876
1856.34/1861.19	c #Conflicts:     115000 | #Constraints:      15876
1856.34/1861.19	c #Conflicts:     116000 | #Constraints:      16876
1856.34/1861.19	c #Conflicts:     117000 | #Constraints:      17876
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:     118000 | #Constraints:      12087
1856.34/1861.19	c #Conflicts:     119000 | #Constraints:      13087
1856.34/1861.19	c #Conflicts:     120000 | #Constraints:      14087
1856.34/1861.19	c #Conflicts:     121000 | #Constraints:      15087
1856.34/1861.19	c #Conflicts:     122000 | #Constraints:      16087
1856.34/1861.19	c #Conflicts:     123000 | #Constraints:      17087
1856.34/1861.19	c #Conflicts:     124000 | #Constraints:      18087
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:     125000 | #Constraints:      12101
1856.34/1861.19	c #Conflicts:     126000 | #Constraints:      13101
1856.34/1861.19	c #Conflicts:     127000 | #Constraints:      14101
1856.34/1861.19	c #Conflicts:     128000 | #Constraints:      15101
1856.34/1861.19	c #Conflicts:     129000 | #Constraints:      16101
1856.34/1861.19	c #Conflicts:     130000 | #Constraints:      17101
1856.34/1861.19	c #Conflicts:     131000 | #Constraints:      18101
1856.34/1861.19	c INPROCESSING
1856.34/1861.19	c GARBAGE COLLECT
1856.34/1861.19	c #Conflicts:     132000 | #Constraints:      11909
1856.34/1861.19	c #Conflicts:     133000 | #Constraints:      12909
1856.34/1861.19	c #Conflicts:     134000 | #Constraints:      13909
1856.34/1861.19	c #Conflicts:     135000 | #Constraints:      14909
1856.34/1861.19	c #Conflicts:     136000 | #Constraints:      15909
1856.34/1861.19	c #Conflicts:     137000 | #Constraints:      16909
1856.34/1861.19	c #Conflicts:     138000 | #Constraints:      17909
1856.34/1861.19	c #Conflicts:     139000 | #Constraints:      18909
3600.08/3610.02	c INPROCESSING
3600.08/3610.02	c GARBAGE COLLECT
3600.08/3610.02	c #Conflicts:     140000 | #Constraints:      12496
3600.08/3610.02	c #Conflicts:     141000 | #Constraints:      13496
3600.08/3610.02	c #Conflicts:     142000 | #Constraints:      14496
3600.08/3610.02	c #Conflicts:     143000 | #Constraints:      15496
3600.08/3610.02	c #Conflicts:     144000 | #Constraints:      16496
3600.08/3610.02	c #Conflicts:     145000 | #Constraints:      17496
3600.08/3610.02	c #Conflicts:     146000 | #Constraints:      18496
3600.08/3610.02	c #Conflicts:     147000 | #Constraints:      19496
3600.08/3610.02	c INPROCESSING
3600.08/3610.02	c GARBAGE COLLECT
3600.08/3610.02	c #Conflicts:     148000 | #Constraints:      12904
3600.08/3610.02	c #Conflicts:     149000 | #Constraints:      13904
3600.08/3610.02	c #Conflicts:     150000 | #Constraints:      14904
3600.08/3610.02	c #Conflicts:     151000 | #Constraints:      15904
3600.08/3610.02	c #Conflicts:     152000 | #Constraints:      16904
3600.08/3610.02	c #Conflicts:     153000 | #Constraints:      17904
3600.08/3610.02	c #Conflicts:     154000 | #Constraints:      18904
3600.08/3610.02	c #Conflicts:     155000 | #Constraints:      19904
3600.08/3610.02	c #Conflicts:     156000 | #Constraints:      20904
3600.08/3610.02	c #Conflicts:     157000 | #Constraints:      21904
3600.08/3610.02	c #Conflicts:     158000 | #Constraints:      22904
3600.08/3610.02	c #Conflicts:     159000 | #Constraints:      23904
3600.08/3610.02	c #Conflicts:     160000 | #Constraints:      24904
3600.08/3610.02	c #Conflicts:     161000 | #Constraints:      25904
3600.08/3610.02	c #Conflicts:     162000 | #Constraints:      26904
3600.08/3610.02	c #Conflicts:     163000 | #Constraints:      27904
3600.08/3610.02	c #Conflicts:     164000 | #Constraints:      28904
3600.08/3610.02	c #Conflicts:     165000 | #Constraints:      29904
3600.08/3610.02	c #Conflicts:     166000 | #Constraints:      30904
3600.08/3610.02	c #Conflicts:     167000 | #Constraints:      31904
3600.08/3610.02	c Program interrupted by user.
3600.08/3610.02	c cpu time 3596.49 s
3600.08/3610.02	c deterministic time 231841158056 2.32e+11
3600.08/3610.02	c optimization time 1460.62 s
3600.08/3610.02	c total solve time 2135.74 s
3600.08/3610.02	c core-guided solve time 2135.74 s
3600.08/3610.02	c propagation time 3503.91 s
3600.08/3610.02	c conflict analysis time 85.4022 s
3600.08/3610.02	c propagations 266944982
3600.08/3610.02	c resolve steps 3352467
3600.08/3610.02	c decisions 1747770
3600.08/3610.02	c conflicts 167657
3600.08/3610.02	c restarts 453
3600.08/3610.02	c inprocessing phases 30
3600.08/3610.02	c input clauses 564
3600.08/3610.02	c input cardinalities 1
3600.08/3610.02	c input general constraints 3359
3600.08/3610.02	c input average constraint length 46.09
3600.08/3610.02	c input average constraint degree 725730047.37
3600.08/3610.02	c learned clauses 688
3600.08/3610.02	c learned cardinalities 1
3600.08/3610.02	c learned general constraints 166969
3600.08/3610.02	c learned average constraint length 160.98
3600.08/3610.02	c learned average constraint degree 528096155.61
3600.08/3610.02	c watched constraints 170191
3600.08/3610.02	c counting constraints 137
3600.08/3610.02	c gcd simplifications 647
3600.08/3610.02	c detected cardinalities 1
3600.08/3610.02	c weakened non-implied lits 73674
3600.08/3610.02	c weakened non-implying lits 1581
3600.08/3610.02	c original variables 20611
3600.08/3610.02	c clausal propagations 1592128
3600.08/3610.02	c cardinality propagations 215
3600.08/3610.02	c watched propagations 265134059
3600.08/3610.02	c counting propagations 216469
3600.08/3610.02	c watch lookups 65258366393
3600.08/3610.02	c watch backjump lookups 65190948025
3600.08/3610.02	c watch checks 27415163846
3600.08/3610.02	c propagation checks 73217545190
3600.08/3610.02	c constraint additions 221582651
3600.08/3610.02	c trail pops 268859198
3600.08/3610.02	c formula constraints 3922
3600.08/3610.02	c learned constraints 167658
3600.08/3610.02	c bound constraints 2
3600.08/3610.02	c core-guided constraints 0
3600.08/3610.02	c encountered formula constraints 1517379
3600.08/3610.02	c encountered learned constraints 2002745
3600.08/3610.02	c encountered bound constraints 0
3600.08/3610.02	c encountered core-guided constraints 0
3600.08/3610.02	c LP total time 0 s
3600.08/3610.02	c LP solve time 0 s
3600.08/3610.02	c LP constraints added 0
3600.08/3610.02	c LP constraints removed 0
3600.08/3610.02	c LP pivots internal 0
3600.08/3610.02	c LP pivots root 0
3600.08/3610.02	c LP calls 0
3600.08/3610.02	c LP optimalities 0
3600.08/3610.02	c LP no pivot count 0
3600.08/3610.02	c LP infeasibilities 0
3600.08/3610.02	c LP valid Farkas constraints 0
3600.08/3610.02	c LP learned Farkas constraints 0
3600.08/3610.02	c LP basis resets 0
3600.08/3610.02	c LP cycling count 0
3600.08/3610.02	c LP singular count 0
3600.08/3610.02	c LP no primal count 0
3600.08/3610.02	c LP no farkas count 0
3600.08/3610.02	c LP other issue count 0
3600.08/3610.02	c LP Gomory cuts 0
3600.08/3610.02	c LP learned cuts 0
3600.08/3610.02	c LP deleted cuts 0
3600.08/3610.02	c LP encountered Gomory constraints 0
3600.08/3610.02	c LP encountered Farkas constraints 0
3600.08/3610.02	c LP encountered learned Farkas constraints 0
3600.08/3610.02	c CG auxiliary variables introduced 0
3600.08/3610.02	c CG solutions found 0
3600.08/3610.02	c CG cores constructed 2
3600.08/3610.02	c CG core cardinality constraints returned 0
3600.08/3610.02	c CG unit cores 0
3600.08/3610.02	c CG single cores 2
3600.08/3610.02	c CG blocks removed during cardinality reduction 0
3600.08/3610.02	c CG first core best 0
3600.08/3610.02	c CG decision core best 0
3600.08/3610.02	c CG core reduction tie 0
3600.08/3610.02	c CG core degree average 1.00
3600.08/3610.02	c CG core slack average 5.50
3600.08/3610.02	c CG exhausted 0
3600.08/3610.02	c CG exhaust time 0 s
3600.08/3610.02	c CG trimmed 0
3600.08/3610.02	c CG trim time 7.5e-05 s
3600.08/3610.02	c CG minimized 0
3600.08/3610.02	c CG minimize time 0 s
3600.08/3610.02	c CG am1 prop time 0.00054 s
3600.08/3610.02	c CG # am1s reformulated 0
3600.08/3610.02	c CG lower bound derived from am1s 0
3600.08/3610.02	c CG # clausal cores 2
3600.08/3610.02	c CG # cardinality cores 0
3600.08/3610.02	c CG # pb cores 0
3600.08/3610.02	c CG # pb reforms 0
3600.08/3610.02	c CG # cores discarded because of pb reform 0
3600.08/3610.02	d LOWERBOUND 99328
3600.08/3610.02	d NCORES 2
3600.08/3610.02	d NPBCORES 0
3600.08/3610.02	d NPBREFORM 0
3600.08/3610.02	d NTRIMMED 0
3600.08/3610.02	d NEXHAUSTED 0
3600.08/3610.02	d NAM1S 0
3600.08/3610.02	d AM1LB 0
3600.08/3610.02	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 (62456 MiB free)
  memory of node 1: 64510 MiB (61016 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454244-1721444634/watcher-4454244-1721444634 -o /tmp/evaluation-result-4454244-1721444634/solver-4454244-1721444634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032987 --watchdog 3760 pb-oll-rs HOME/instance-4454244-1721444634.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=1036968, runsolver pid=1036965

[startup+0.101034 s]*
/proc/loadavg: 4.31 4.30 4.21 5/240 1036969
/proc/meminfo: memFree=126429664/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=43556 memory=10832 CPUtime=0.1 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 1655 0 0 0 9 1 0 0 20 0 1 0 196622925 44601344 2708 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 10889 2708 1218 291 0 2423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43556 KiB
Current children cumulated memory: 10832 KiB

[startup+0.212998 s]*
/proc/loadavg: 4.31 4.30 4.21 5/240 1036969
/proc/meminfo: memFree=126422192/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=48388 memory=18556 CPUtime=0.21 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 3037 0 0 0 20 1 0 0 20 0 1 0 196622925 49549312 4639 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 12097 4639 1427 291 0 3631 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48388 KiB
Current children cumulated memory: 18556 KiB

[startup+0.31286 s]*
/proc/loadavg: 4.31 4.30 4.21 4/239 1036969
/proc/meminfo: memFree=126422024/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=48520 memory=18556 CPUtime=0.3 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 3072 0 0 0 29 1 0 0 20 0 1 0 196622925 49684480 4639 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 12130 4639 1427 291 0 3664 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48520 KiB
Current children cumulated memory: 18556 KiB

[startup+0.700309 s]
/proc/loadavg: 4.31 4.30 4.21 5/236 1036990
/proc/meminfo: memFree=128534104/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=48784 memory=18820 CPUtime=0.68 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 3148 0 0 0 66 2 0 0 20 0 1 0 196622925 49954816 4705 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 12196 4705 1427 291 0 3730 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 18820 KiB

[startup+1.50033 s]
/proc/loadavg: 4.31 4.30 4.21 5/239 1037015
/proc/meminfo: memFree=128521016/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=50104 memory=20140 CPUtime=1.48 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 3475 0 0 0 144 4 0 0 20 0 1 0 196622925 51306496 5035 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 12526 5035 1427 291 0 4060 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50104 KiB
Current children cumulated memory: 20140 KiB

[startup+3.11267 s]
/proc/loadavg: 4.31 4.30 4.21 5/242 1037048
/proc/meminfo: memFree=128400568/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=51832 memory=23100 CPUtime=3.09 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 4164 0 0 0 305 4 0 0 20 0 1 0 196622925 53075968 5775 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 12958 5775 1443 291 0 4492 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51832 KiB
Current children cumulated memory: 23100 KiB

[startup+6.30031 s]
/proc/loadavg: 4.29 4.29 4.20 5/242 1037049
/proc/meminfo: memFree=128307376/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=55256 memory=24296 CPUtime=6.27 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 4470 0 0 0 621 6 0 0 20 0 1 0 196622925 56582144 6074 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 13814 6074 1443 291 0 5348 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55256 KiB
Current children cumulated memory: 24296 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.29 4.20 5/242 1037095
/proc/meminfo: memFree=128518864/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=57904 memory=28256 CPUtime=12.65 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 5469 0 0 0 1257 8 0 0 20 0 1 0 196622925 59293696 7064 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 14476 7064 1443 291 0 6010 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57904 KiB
Current children cumulated memory: 28256 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.29 4.20 5/242 1037098
/proc/meminfo: memFree=128379072/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=64124 memory=30720 CPUtime=25.41 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 6132 0 0 0 2530 11 0 0 20 0 1 0 196622925 65662976 7680 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 16031 7680 1443 291 0 7565 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64124 KiB
Current children cumulated memory: 30720 KiB

[startup+51.1126 s]
/proc/loadavg: 4.18 4.27 4.20 5/242 1037101
/proc/meminfo: memFree=128063888/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=70376 memory=37500 CPUtime=50.97 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 7803 0 0 0 5073 24 0 0 20 0 1 0 196622925 72065024 9375 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 17594 9375 1443 291 0 9128 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 70376 KiB
Current children cumulated memory: 37500 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.25 4.19 5/241 1037110
/proc/meminfo: memFree=127619416/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=73680 memory=40364 CPUtime=102.04 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 8572 0 0 0 10159 45 0 0 20 0 1 0 196622925 75448320 10091 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 18420 10091 1443 291 0 9954 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 73680 KiB
Current children cumulated memory: 40364 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.24 4.19 5/241 1037121
/proc/meminfo: memFree=127369464/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=75124 memory=45008 CPUtime=161.89 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 9203 0 0 0 16124 65 0 0 20 0 1 0 196622925 76926976 11252 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 18781 11252 1443 291 0 10315 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 75124 KiB
Current children cumulated memory: 45008 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.21 4.18 5/241 1037131
/proc/meminfo: memFree=127081396/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=76416 memory=46040 CPUtime=221.74 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 9467 0 0 0 22093 81 0 0 20 0 1 0 196622925 78249984 11510 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 19104 11510 1443 291 0 10638 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 76416 KiB
Current children cumulated memory: 46040 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/241 1037141
/proc/meminfo: memFree=126800392/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=78840 memory=48104 CPUtime=281.59 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 10023 0 0 0 28057 102 0 0 20 0 1 0 196622925 80732160 12026 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 19710 12026 1443 291 0 11244 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 78840 KiB
Current children cumulated memory: 48104 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/241 1037152
/proc/meminfo: memFree=126722776/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=92468 memory=55996 CPUtime=341.43 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 12004 0 0 0 34029 114 0 0 20 0 1 0 196622925 94687232 13999 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 23117 13999 1443 291 0 14651 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 92468 KiB
Current children cumulated memory: 55996 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/243 1037166
/proc/meminfo: memFree=126473772/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=94204 memory=59888 CPUtime=401.28 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 12444 0 0 0 40003 125 0 0 20 0 1 0 196622925 96464896 14972 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 23551 14972 1443 291 0 15085 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 94204 KiB
Current children cumulated memory: 59888 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.20 4.18 5/243 1037176
/proc/meminfo: memFree=126386968/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=96452 memory=61424 CPUtime=461.13 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 12872 0 0 0 45980 133 0 0 20 0 1 0 196622925 98766848 15356 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 24113 15356 1443 291 0 15647 0

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

Current children cumulated memory: 103648 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.19 4.14 5/244 1038218
/proc/meminfo: memFree=122996800/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=156744 memory=105664 CPUtime=2854.74 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 20609 0 0 0 285136 338 0 0 20 0 1 0 196622925 160505856 26416 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 39186 26416 1443 291 0 30720 0
Current children cumulated CPU time: 2854.74 s
Current children cumulated vsize: 156744 KiB
Current children cumulated memory: 105664 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/244 1038229
/proc/meminfo: memFree=122947460/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=158408 memory=108928 CPUtime=2914.55 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 20930 0 0 0 291115 340 0 0 20 0 1 0 196622925 162209792 27232 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 39602 27232 1443 291 0 31136 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 158408 KiB
Current children cumulated memory: 108928 KiB

[startup+2982.3 s]
/proc/loadavg: 4.22 4.21 4.15 5/244 1038239
/proc/meminfo: memFree=122895084/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=158920 memory=109452 CPUtime=2974.36 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 21088 0 0 0 297093 343 0 0 20 0 1 0 196622925 162734080 27363 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 39730 27363 1443 291 0 31264 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 158920 KiB
Current children cumulated memory: 109452 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.18 4.15 5/244 1038250
/proc/meminfo: memFree=122833408/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=159176 memory=111916 CPUtime=3034.18 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 21204 0 0 0 303073 345 0 0 20 0 1 0 196622925 162996224 27979 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 39794 27979 1443 291 0 31328 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 159176 KiB
Current children cumulated memory: 111916 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.18 4.15 5/244 1038644
/proc/meminfo: memFree=122813940/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=160968 memory=113140 CPUtime=3094 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 21539 0 0 0 309053 347 0 0 20 0 1 0 196622925 164831232 28285 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 40242 28285 1443 291 0 31776 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 160968 KiB
Current children cumulated memory: 113140 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.18 4.15 5/244 1038655
/proc/meminfo: memFree=122798444/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=161992 memory=113828 CPUtime=3153.81 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 21760 0 0 0 315032 349 0 0 20 0 1 0 196622925 165879808 28457 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 40498 28457 1443 291 0 32032 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 161992 KiB
Current children cumulated memory: 113828 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/243 1038665
/proc/meminfo: memFree=122782572/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=162760 memory=116560 CPUtime=3213.61 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 21956 0 0 0 321011 350 0 0 20 0 1 0 196622925 166666240 29140 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 40690 29140 1443 291 0 32224 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 162760 KiB
Current children cumulated memory: 116560 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/243 1038843
/proc/meminfo: memFree=122765352/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=163528 memory=117244 CPUtime=3273.42 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 22145 0 0 0 326990 352 0 0 20 0 1 0 196622925 167452672 29311 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 40882 29311 1443 291 0 32416 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 163528 KiB
Current children cumulated memory: 117244 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/243 1038855
/proc/meminfo: memFree=122745676/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=164808 memory=120236 CPUtime=3333.22 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 22403 0 0 0 332969 353 0 0 20 0 1 0 196622925 168763392 30059 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 41202 30059 1443 291 0 32736 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 164808 KiB
Current children cumulated memory: 120236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/244 1038869
/proc/meminfo: memFree=122730176/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=165320 memory=120652 CPUtime=3393.04 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 22552 0 0 0 338949 355 0 0 20 0 1 0 196622925 169287680 30163 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 41330 30163 1443 291 0 32864 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 165320 KiB
Current children cumulated memory: 120652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.59 4.26 4.18 5/244 1038890
/proc/meminfo: memFree=122715860/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=165704 memory=121068 CPUtime=3452.84 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 22693 0 0 0 344927 357 0 0 20 0 1 0 196622925 169680896 30267 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 41426 30267 1443 291 0 32960 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 165704 KiB
Current children cumulated memory: 121068 KiB

[startup+3522.3 s]
/proc/loadavg: 4.56 4.33 4.21 5/244 1038901
/proc/meminfo: memFree=122691800/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=168256 memory=125112 CPUtime=3512.65 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 23219 0 0 0 350907 358 0 0 20 0 1 0 196622925 172294144 31278 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 42064 31278 1443 291 0 33598 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 168256 KiB
Current children cumulated memory: 125112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.28 4.19 5/243 1038911
/proc/meminfo: memFree=122678336/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=169408 memory=125988 CPUtime=3572.45 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 23435 0 0 0 356886 359 0 0 20 0 1 0 196622925 173473792 31497 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 42352 31497 1443 291 0 33886 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 169408 KiB
Current children cumulated memory: 125988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.27 4.29 4.20 5/243 1038916
/proc/meminfo: memFree=122671884/131655788 swapFree=131071996/131071996
[pid=1036968] ppid=1036965 vsize=169408 memory=125988 CPUtime=3600.08 cores=4,6
/proc/1036968/stat : 1036968 (pb-oll-rs) R 1036965 1036968 1032976 0 -1 4194304 23462 0 0 0 359648 360 0 0 20 0 1 0 196622925 173473792 31497 134679101440 4194304 5384485 140736771181744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28311552 140736771183637 140736771183714 140736771183714 140736771190731 0
/proc/1036968/statm: 42352 31497 1443 291 0 33886 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 169408 KiB
Current children cumulated memory: 125988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.5 s, system=3.60606 s

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

Child status: 0

Real time (s): 3610.03
CPU time (s): 3600.1
CPU user time (s): 3596.5
CPU system time (s): 3.60606
CPU usage (%): 99.7251
Max. virtual memory (cumulated for all children) (KiB): 169408
Max. memory (cumulated for all children) (KiB): 125988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.5
system time used= 3.60606
maximum resident set size= 126148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23479
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= 32
involuntary context switches= 3678


# summary of solver processes directly reported to runsolver:
#   pid: 1036968
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3596.5
#   total CPU system time (s): 3.60606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6515 second user time and 33.4154 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-20 05:04:05
IDJOB=4454244
IDBENCH=146780
IDSOLVER=3082
FILE ID=nodeC009/4454244-1721444634
RUNJOBID= nodeC009-1721437426-1032987
SLURM_JOB_ID= 7545646
Free space on /tmp= 723756 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4454244-1721444634/watcher-4454244-1721444634 -o /tmp/evaluation-result-4454244-1721444634/solver-4454244-1721444634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032987 --watchdog 3760  pb-oll-rs HOME/instance-4454244-1721444634.opb

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

MD5SUM BENCH= 3aed2088dafec39bc246433683012fc1
RANDOM SEED=2056704864

nodeC009.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		: 3654.005
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	: 6984.34
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		: 3492.181
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.27
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.473
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	: 6984.34
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.320
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.27
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		: 3492.182
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	: 6984.34
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		: 3599.290
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.27
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.325
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	: 6984.34
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.457
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.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126435760 kB
MemAvailable:   127416528 kB
Buffers:          592496 kB
Cached:          1232776 kB
SwapCached:            0 kB
Active:          1151220 kB
Inactive:        3509420 kB
Active(anon):       1452 kB
Inactive(anon):  2879808 kB
Active(file):    1149768 kB
Inactive(file):   629612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4160 kB
Writeback:             0 kB
AnonPages:       2832492 kB
Mapped:           110292 kB
Shmem:             45892 kB
KReclaimable:      82836 kB
Slab:             184168 kB
SReclaimable:      82836 kB
SUnreclaim:       101332 kB
KernelStack:        3768 kB
PageTables:        15164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3846876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2676736 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC009 at 2024-07-20 06:04:15