Trace number 4459438

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-02UNSAT 188.666 189.192

DiagnosticValue
AM1LB0
AM1LB0
LOWERBOUND16
LOWERBOUND16
NAM1S0
NAM1S0
NCORES2
NCORES2
NEXHAUSTED0
NEXHAUSTED0
NPBCORES0
NPBCORES0
NPBREFORM0
NPBREFORM0
NTRIMMED0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-859770.opb
MD5SUM4a685e943d6a7da38bd3737149184f18
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.77196
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2504
Total number of constraints2065
Number of constraints which are clauses1536
Number of constraints which are cardinality constraints (but not clauses)529
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint8
Maximum length of a constraint1446
Number of terms in the objective function 2504
Biggest coefficient in the objective function 10
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 16472
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 16472
Number of bits of the biggest sum of numbers15
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.30/0.32	c [STEP] solving
0.30/0.32	c #variables 2504 #constraints 2084
0.30/0.32	c SMALL=int, LARGE=long long
0.30/0.32	c bounds - >= 0 @ 0.310564
0.30/0.32	c stratification level: 8
103.00/103.35	c #Conflicts:       1000 | #Constraints:       3083
103.00/103.35	c bounds - >= 8 @ 1.40473
103.00/103.35	c #Conflicts:       2000 | #Constraints:       4084
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:       3000 | #Constraints:       3900
103.00/103.35	c #Conflicts:       4000 | #Constraints:       4900
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:       5000 | #Constraints:       4313
103.00/103.35	c #Conflicts:       6000 | #Constraints:       5313
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:       7000 | #Constraints:       4322
103.00/103.35	c #Conflicts:       8000 | #Constraints:       5322
103.00/103.35	c #Conflicts:       9000 | #Constraints:       6322
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      10000 | #Constraints:       5023
103.00/103.35	c #Conflicts:      11000 | #Constraints:       6023
103.00/103.35	c #Conflicts:      12000 | #Constraints:       7023
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      13000 | #Constraints:       5481
103.00/103.35	c #Conflicts:      14000 | #Constraints:       6481
103.00/103.35	c #Conflicts:      15000 | #Constraints:       7481
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      16000 | #Constraints:       5712
103.00/103.35	c #Conflicts:      17000 | #Constraints:       6712
103.00/103.35	c #Conflicts:      18000 | #Constraints:       7712
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      19000 | #Constraints:       5730
103.00/103.35	c #Conflicts:      20000 | #Constraints:       6730
103.00/103.35	c #Conflicts:      21000 | #Constraints:       7730
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      22000 | #Constraints:       5539
103.00/103.35	c #Conflicts:      23000 | #Constraints:       6539
103.00/103.35	c #Conflicts:      24000 | #Constraints:       7539
103.00/103.35	c #Conflicts:      25000 | #Constraints:       8539
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      26000 | #Constraints:       6046
103.00/103.35	c #Conflicts:      27000 | #Constraints:       7046
103.00/103.35	c #Conflicts:      28000 | #Constraints:       8046
103.00/103.35	c #Conflicts:      29000 | #Constraints:       9046
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      30000 | #Constraints:       6501
103.00/103.35	c #Conflicts:      31000 | #Constraints:       7501
103.00/103.35	c #Conflicts:      32000 | #Constraints:       8501
103.00/103.35	c #Conflicts:      33000 | #Constraints:       9501
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      34000 | #Constraints:       6705
103.00/103.35	c #Conflicts:      35000 | #Constraints:       7705
103.00/103.35	c #Conflicts:      36000 | #Constraints:       8705
103.00/103.35	c #Conflicts:      37000 | #Constraints:       9705
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      38000 | #Constraints:       6695
103.00/103.35	c #Conflicts:      39000 | #Constraints:       7695
103.00/103.35	c #Conflicts:      40000 | #Constraints:       8695
103.00/103.35	c #Conflicts:      41000 | #Constraints:       9695
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      42000 | #Constraints:       6580
103.00/103.35	c #Conflicts:      43000 | #Constraints:       7580
103.00/103.35	c #Conflicts:      44000 | #Constraints:       8580
103.00/103.35	c #Conflicts:      45000 | #Constraints:       9580
103.00/103.35	c #Conflicts:      46000 | #Constraints:      10580
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      47000 | #Constraints:       7174
103.00/103.35	c #Conflicts:      48000 | #Constraints:       8174
103.00/103.35	c #Conflicts:      49000 | #Constraints:       9174
103.00/103.35	c #Conflicts:      50000 | #Constraints:      10174
103.00/103.35	c #Conflicts:      51000 | #Constraints:      11174
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      52000 | #Constraints:       7596
103.00/103.35	c #Conflicts:      53000 | #Constraints:       8596
103.00/103.35	c #Conflicts:      54000 | #Constraints:       9596
103.00/103.35	c #Conflicts:      55000 | #Constraints:      10596
103.00/103.35	c #Conflicts:      56000 | #Constraints:      11596
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      57000 | #Constraints:       7766
103.00/103.35	c #Conflicts:      58000 | #Constraints:       8766
103.00/103.35	c #Conflicts:      59000 | #Constraints:       9766
103.00/103.35	c #Conflicts:      60000 | #Constraints:      10766
103.00/103.35	c #Conflicts:      61000 | #Constraints:      11766
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      62000 | #Constraints:       7742
103.00/103.35	c #Conflicts:      63000 | #Constraints:       8742
103.00/103.35	c #Conflicts:      64000 | #Constraints:       9742
103.00/103.35	c #Conflicts:      65000 | #Constraints:      10742
103.00/103.35	c #Conflicts:      66000 | #Constraints:      11742
103.00/103.35	c INPROCESSING
103.00/103.35	c GARBAGE COLLECT
103.00/103.35	c #Conflicts:      67000 | #Constraints:       7537
188.57/189.18	c #Conflicts:      68000 | #Constraints:       8537
188.57/189.18	c #Conflicts:      69000 | #Constraints:       9537
188.57/189.18	c #Conflicts:      70000 | #Constraints:      10537
188.57/189.18	c #Conflicts:      71000 | #Constraints:      11537
188.57/189.18	c #Conflicts:      72000 | #Constraints:      12537
188.57/189.18	c INPROCESSING
188.57/189.18	c GARBAGE COLLECT
188.57/189.18	c #Conflicts:      73000 | #Constraints:       8141
188.57/189.18	c #Conflicts:      74000 | #Constraints:       9141
188.57/189.18	c #Conflicts:      75000 | #Constraints:      10141
188.57/189.18	c #Conflicts:      76000 | #Constraints:      11141
188.57/189.18	c #Conflicts:      77000 | #Constraints:      12141
188.57/189.18	c #Conflicts:      78000 | #Constraints:      13141
188.57/189.18	c INPROCESSING
188.57/189.18	c GARBAGE COLLECT
188.57/189.18	c #Conflicts:      79000 | #Constraints:       8545
188.57/189.18	c #Conflicts:      80000 | #Constraints:       9545
188.57/189.18	c #Conflicts:      81000 | #Constraints:      10545
188.57/189.18	c #Conflicts:      82000 | #Constraints:      11545
188.57/189.18	c #Conflicts:      83000 | #Constraints:      12545
188.57/189.18	c #Conflicts:      84000 | #Constraints:      13545
188.57/189.18	c INPROCESSING
188.57/189.18	c GARBAGE COLLECT
188.57/189.18	c #Conflicts:      85000 | #Constraints:       8762
188.57/189.18	c #Conflicts:      86000 | #Constraints:       9762
188.57/189.18	c #Conflicts:      87000 | #Constraints:      10762
188.57/189.18	c #Conflicts:      88000 | #Constraints:      11762
188.57/189.18	c #Conflicts:      89000 | #Constraints:      12762
188.57/189.18	c #Conflicts:      90000 | #Constraints:      13762
188.57/189.18	c INPROCESSING
188.57/189.18	c GARBAGE COLLECT
188.57/189.18	c #Conflicts:      91000 | #Constraints:       8773
188.57/189.18	c #Conflicts:      92000 | #Constraints:       9773
188.57/189.18	c #Conflicts:      93000 | #Constraints:      10773
188.57/189.18	c #Conflicts:      94000 | #Constraints:      11773
188.57/189.18	c #Conflicts:      95000 | #Constraints:      12773
188.57/189.18	c #Conflicts:      96000 | #Constraints:      13773
188.57/189.18	c INPROCESSING
188.57/189.18	c GARBAGE COLLECT
188.57/189.18	c #Conflicts:      97000 | #Constraints:       8565
188.57/189.18	c #Conflicts:      98000 | #Constraints:       9565
188.57/189.18	c #Conflicts:      99000 | #Constraints:      10565
188.57/189.18	c #Conflicts:     100000 | #Constraints:      11565
188.57/189.18	c #Conflicts:     101000 | #Constraints:      12565
188.57/189.18	c #Conflicts:     102000 | #Constraints:      13565
188.57/189.18	c bounds - >= 16 @ 186.417
188.57/189.18	c #Conflicts:     103000 | #Constraints:      14566
188.57/189.18	d SOLVEDBY oll
188.57/189.18	c cpu time 187.207 s
188.57/189.18	c deterministic time 34805983249 3.48e+10
188.57/189.18	c optimization time 0.010285 s
188.57/189.18	c total solve time 186.886 s
188.57/189.18	c core-guided solve time 186.886 s
188.57/189.18	c propagation time 110.731 s
188.57/189.18	c conflict analysis time 70.69 s
188.57/189.18	c propagations 29830093
188.57/189.18	c resolve steps 3212362
188.57/189.18	c decisions 1264129
188.57/189.18	c conflicts 103004
188.57/189.18	c restarts 258
188.57/189.18	c inprocessing phases 23
188.57/189.18	c input clauses 1555
188.57/189.18	c input cardinalities 529
188.57/189.18	c input general constraints 2
188.57/189.18	c input average constraint length 426.35
188.57/189.18	c input average constraint degree 3.64
188.57/189.18	c learned clauses 50698
188.57/189.18	c learned cardinalities 5474
188.57/189.18	c learned general constraints 46831
188.57/189.18	c learned average constraint length 1132.10
188.57/189.18	c learned average constraint degree 47017283.51
188.57/189.18	c watched constraints 37359
188.57/189.18	c counting constraints 9474
188.57/189.18	c gcd simplifications 328
188.57/189.18	c detected cardinalities 26
188.57/189.18	c weakened non-implied lits 39581944
188.57/189.18	c weakened non-implying lits 14858
188.57/189.18	c original variables 2504
188.57/189.18	c clausal propagations 6691247
188.57/189.18	c cardinality propagations 16664115
188.57/189.18	c watched propagations 3620906
188.57/189.18	c counting propagations 1610136
188.57/189.18	c watch lookups 3013713896
188.57/189.18	c watch backjump lookups 2849305952
188.57/189.18	c watch checks 18426446147
188.57/189.18	c propagation checks 9497547622
188.57/189.18	c constraint additions 956679624
188.57/189.18	c trail pops 31195785
188.57/189.18	c formula constraints 2084
188.57/189.18	c learned constraints 103003
188.57/189.18	c bound constraints 2
188.57/189.18	c core-guided constraints 0
188.57/189.18	c encountered formula constraints 2359105
188.57/189.18	c encountered learned constraints 956261
188.57/189.18	c encountered bound constraints 0
188.57/189.18	c encountered core-guided constraints 0
188.57/189.18	c LP total time 0 s
188.57/189.18	c LP solve time 0 s
188.57/189.18	c LP constraints added 0
188.57/189.18	c LP constraints removed 0
188.57/189.18	c LP pivots internal 0
188.57/189.18	c LP pivots root 0
188.57/189.18	c LP calls 0
188.57/189.18	c LP optimalities 0
188.57/189.18	c LP no pivot count 0
188.57/189.18	c LP infeasibilities 0
188.57/189.18	c LP valid Farkas constraints 0
188.57/189.18	c LP learned Farkas constraints 0
188.57/189.18	c LP basis resets 0
188.57/189.18	c LP cycling count 0
188.57/189.18	c LP singular count 0
188.57/189.18	c LP no primal count 0
188.57/189.18	c LP no farkas count 0
188.57/189.18	c LP other issue count 0
188.57/189.18	c LP Gomory cuts 0
188.57/189.18	c LP learned cuts 0
188.57/189.18	c LP deleted cuts 0
188.57/189.18	c LP encountered Gomory constraints 0
188.57/189.18	c LP encountered Farkas constraints 0
188.57/189.18	c LP encountered learned Farkas constraints 0
188.57/189.18	c CG auxiliary variables introduced 0
188.57/189.18	c CG solutions found 0
188.57/189.18	c CG cores constructed 2
188.57/189.18	c CG core cardinality constraints returned 0
188.57/189.18	c CG unit cores 0
188.57/189.18	c CG single cores 2
188.57/189.18	c CG blocks removed during cardinality reduction 0
188.57/189.18	c CG first core best 0
188.57/189.18	c CG decision core best 0
188.57/189.18	c CG core reduction tie 0
188.57/189.18	c CG core degree average 1.00
188.57/189.18	c CG core slack average 255.00
188.57/189.18	c CG exhausted 0
188.57/189.18	c CG exhaust time 0 s
188.57/189.18	c CG trimmed 0
188.57/189.18	c CG trim time 0.007754 s
188.57/189.18	c CG minimized 0
188.57/189.18	c CG minimize time 0 s
188.57/189.18	c CG am1 prop time 0.000366 s
188.57/189.18	c CG # am1s reformulated 0
188.57/189.18	c CG lower bound derived from am1s 0
188.57/189.18	c CG # clausal cores 2
188.57/189.18	c CG # cardinality cores 0
188.57/189.18	c CG # pb cores 0
188.57/189.18	c CG # pb reforms 0
188.57/189.18	c CG # cores discarded because of pb reform 0
188.57/189.18	d LOWERBOUND 16
188.57/189.18	d NCORES 2
188.57/189.18	d NPBCORES 0
188.57/189.18	d NPBREFORM 0
188.57/189.18	d NTRIMMED 0
188.57/189.18	d NEXHAUSTED 0
188.57/189.18	d NAM1S 0
188.57/189.18	d AM1LB 0
188.57/189.18	c cpu time 187.207 s
188.57/189.18	c deterministic time 34805983249 3.48e+10
188.57/189.18	c optimization time 0.010334 s
188.57/189.18	c total solve time 186.886 s
188.57/189.18	c core-guided solve time 186.886 s
188.57/189.18	c propagation time 110.731 s
188.57/189.18	c conflict analysis time 70.69 s
188.57/189.18	c propagations 29830093
188.57/189.18	c resolve steps 3212362
188.57/189.18	c decisions 1264129
188.57/189.18	c conflicts 103004
188.57/189.18	c restarts 258
188.57/189.18	c inprocessing phases 23
188.57/189.18	c input clauses 1555
188.57/189.18	c input cardinalities 529
188.57/189.18	c input general constraints 2
188.57/189.18	c input average constraint length 426.35
188.57/189.18	c input average constraint degree 3.64
188.57/189.18	c learned clauses 50698
188.57/189.18	c learned cardinalities 5474
188.57/189.18	c learned general constraints 46831
188.57/189.18	c learned average constraint length 1132.10
188.57/189.18	c learned average constraint degree 47017283.51
188.57/189.18	c watched constraints 37359
188.57/189.18	c counting constraints 9474
188.57/189.18	c gcd simplifications 328
188.57/189.18	c detected cardinalities 26
188.57/189.18	c weakened non-implied lits 39581944
188.57/189.18	c weakened non-implying lits 14858
188.57/189.18	c original variables 2504
188.57/189.18	c clausal propagations 6691247
188.57/189.18	c cardinality propagations 16664115
188.57/189.18	c watched propagations 3620906
188.57/189.18	c counting propagations 1610136
188.57/189.18	c watch lookups 3013713896
188.57/189.18	c watch backjump lookups 2849305952
188.57/189.18	c watch checks 18426446147
188.57/189.18	c propagation checks 9497547622
188.57/189.18	c constraint additions 956679624
188.57/189.18	c trail pops 31195785
188.57/189.18	c formula constraints 2084
188.57/189.18	c learned constraints 103003
188.57/189.18	c bound constraints 2
188.57/189.18	c core-guided constraints 0
188.57/189.18	c encountered formula constraints 2359105
188.57/189.18	c encountered learned constraints 956261
188.57/189.18	c encountered bound constraints 0
188.57/189.18	c encountered core-guided constraints 0
188.57/189.18	c LP total time 0 s
188.57/189.18	c LP solve time 0 s
188.57/189.18	c LP constraints added 0
188.57/189.18	c LP constraints removed 0
188.57/189.18	c LP pivots internal 0
188.57/189.18	c LP pivots root 0
188.57/189.18	c LP calls 0
188.57/189.18	c LP optimalities 0
188.57/189.18	c LP no pivot count 0
188.57/189.18	c LP infeasibilities 0
188.57/189.18	c LP valid Farkas constraints 0
188.57/189.18	c LP learned Farkas constraints 0
188.57/189.18	c LP basis resets 0
188.57/189.18	c LP cycling count 0
188.57/189.18	c LP singular count 0
188.57/189.18	c LP no primal count 0
188.57/189.18	c LP no farkas count 0
188.57/189.18	c LP other issue count 0
188.57/189.18	c LP Gomory cuts 0
188.57/189.18	c LP learned cuts 0
188.57/189.18	c LP deleted cuts 0
188.57/189.18	c LP encountered Gomory constraints 0
188.57/189.18	c LP encountered Farkas constraints 0
188.57/189.18	c LP encountered learned Farkas constraints 0
188.57/189.18	c CG auxiliary variables introduced 0
188.57/189.18	c CG solutions found 0
188.57/189.18	c CG cores constructed 2
188.57/189.18	c CG core cardinality constraints returned 0
188.57/189.18	c CG unit cores 0
188.57/189.18	c CG single cores 2
188.57/189.18	c CG blocks removed during cardinality reduction 0
188.57/189.18	c CG first core best 0
188.57/189.18	c CG decision core best 0
188.57/189.18	c CG core reduction tie 0
188.57/189.18	c CG core degree average 1.00
188.57/189.18	c CG core slack average 255.00
188.57/189.18	c CG exhausted 0
188.57/189.18	c CG exhaust time 0 s
188.57/189.18	c CG trimmed 0
188.57/189.18	c CG trim time 0.007754 s
188.57/189.18	c CG minimized 0
188.57/189.18	c CG minimize time 0 s
188.57/189.18	c CG am1 prop time 0.000366 s
188.57/189.18	c CG # am1s reformulated 0
188.57/189.18	c CG lower bound derived from am1s 0
188.57/189.18	c CG # clausal cores 2
188.57/189.18	c CG # cardinality cores 0
188.57/189.18	c CG # pb cores 0
188.57/189.18	c CG # pb reforms 0
188.57/189.18	c CG # cores discarded because of pb reform 0
188.57/189.18	d LOWERBOUND 16
188.57/189.18	d NCORES 2
188.57/189.18	d NPBCORES 0
188.57/189.18	d NPBREFORM 0
188.57/189.18	d NTRIMMED 0
188.57/189.18	d NEXHAUSTED 0
188.57/189.18	d NAM1S 0
188.57/189.18	d AM1LB 0
188.57/189.18	s UNSATISFIABLE

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 (50723 MiB free)
  memory of node 1: 64510 MiB (53163 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459438-1721895175/watcher-4459438-1721895175 -o /tmp/evaluation-result-4459438-1721895175/solver-4459438-1721895175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273804 --watchdog 3760 pb-oll-rs HOME/instance-4459438-1721895175.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=278034, runsolver pid=278031

[startup+0.100954 s]*
/proc/loadavg: 4.00 4.09 4.15 5/242 278035
/proc/meminfo: memFree=106377792/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=39520 memory=6312 CPUtime=0.1 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 655 0 0 0 10 0 0 0 20 0 1 0 25506873 40468480 1578 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 9880 1578 1186 291 0 1414 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39520 KiB
Current children cumulated memory: 6312 KiB

[startup+0.212726 s]*
/proc/loadavg: 4.00 4.09 4.15 5/242 278035
/proc/meminfo: memFree=106373896/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=39832 memory=9944 CPUtime=0.21 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 1044 0 0 0 21 0 0 0 20 0 1 0 25506873 40787968 2486 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 9958 2486 1186 291 0 1492 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39832 KiB
Current children cumulated memory: 9944 KiB

[startup+0.312563 s]*
/proc/loadavg: 4.00 4.09 4.15 5/242 278035
/proc/meminfo: memFree=106373756/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=39832 memory=9944 CPUtime=0.3 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 1050 0 0 0 30 0 0 0 20 0 1 0 25506873 40787968 2486 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 9958 2486 1186 291 0 1492 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39832 KiB
Current children cumulated memory: 9944 KiB

[startup+0.700305 s]
/proc/loadavg: 4.00 4.09 4.15 5/242 278035
/proc/meminfo: memFree=106369440/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=48600 memory=15676 CPUtime=0.69 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 1756 0 0 0 67 2 0 0 20 0 1 0 25506873 49766400 3919 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 12150 3919 1374 291 0 3684 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48600 KiB
Current children cumulated memory: 15676 KiB

[startup+1.50031 s]
/proc/loadavg: 4.00 4.09 4.15 5/242 278035
/proc/meminfo: memFree=106363456/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=57780 memory=24776 CPUtime=1.48 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 3032 0 0 0 145 3 0 0 20 0 1 0 25506873 59166720 6194 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 14445 6194 1374 291 0 5979 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57780 KiB
Current children cumulated memory: 24776 KiB

[startup+3.11254 s]
/proc/loadavg: 4.00 4.09 4.15 5/242 278035
/proc/meminfo: memFree=106346076/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=61408 memory=32456 CPUtime=3.1 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 3928 0 0 0 303 7 0 0 20 0 1 0 25506873 62881792 8114 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 15352 8114 1422 291 0 6886 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61408 KiB
Current children cumulated memory: 32456 KiB

[startup+6.3003 s]
/proc/loadavg: 4.00 4.09 4.15 5/242 278035
/proc/meminfo: memFree=106314044/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=78432 memory=47852 CPUtime=6.27 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 5713 0 0 0 614 13 0 0 20 0 1 0 25506873 80314368 11963 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 19608 11963 1422 291 0 11142 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78432 KiB
Current children cumulated memory: 47852 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.12 4.16 5/242 278037
/proc/meminfo: memFree=106244612/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=85688 memory=56988 CPUtime=12.65 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 7508 0 0 0 1244 21 0 0 20 0 1 0 25506873 87744512 14247 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 21422 14247 1422 291 0 12956 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85688 KiB
Current children cumulated memory: 56988 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.15 4.17 5/242 278038
/proc/meminfo: memFree=106195956/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=111300 memory=71520 CPUtime=25.42 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 9574 0 0 0 2507 35 0 0 20 0 1 0 25506873 113971200 17880 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 27825 17880 1422 291 0 19359 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 111300 KiB
Current children cumulated memory: 71520 KiB

[startup+51.1126 s]
/proc/loadavg: 4.64 4.25 4.20 5/242 278043
/proc/meminfo: memFree=106107396/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=121880 memory=89132 CPUtime=50.96 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 11956 0 0 0 5038 58 0 0 20 0 1 0 25506873 124805120 22283 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 30470 22283 1422 291 0 22004 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 121880 KiB
Current children cumulated memory: 89132 KiB

[startup+102.3 s]
/proc/loadavg: 4.67 4.32 4.23 5/242 278052
/proc/meminfo: memFree=105958344/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=160124 memory=104756 CPUtime=102.01 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 14388 0 0 0 10105 96 0 0 20 0 1 0 25506873 163966976 26189 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 40031 26189 1422 291 0 31565 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 160124 KiB
Current children cumulated memory: 104756 KiB

[startup+162.3 s]
/proc/loadavg: 4.36 4.30 4.23 5/242 278062
/proc/meminfo: memFree=105876524/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=172800 memory=122924 CPUtime=161.84 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 16845 0 0 0 16051 133 0 0 20 0 1 0 25506873 176947200 30731 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 43200 30731 1422 291 0 34734 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 172800 KiB
Current children cumulated memory: 122924 KiB

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

# cumulated CPU time of all completed processes:  user=187.21 s, system=1.45598 s

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

[startup+166.4 s]
/proc/loadavg: 4.41 4.31 4.23 5/242 278062
/proc/meminfo: memFree=105868820/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=173584 memory=123452 CPUtime=165.93 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 17000 0 0 0 16458 135 0 0 20 0 1 0 25506873 177750016 30863 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 43396 30863 1422 291 0 34930 0
Current children cumulated CPU time: 165.93 s
Current children cumulated vsize: 173584 KiB
Current children cumulated memory: 123452 KiB

[startup+179.2 s]
/proc/loadavg: 4.32 4.30 4.23 5/241 278065
/proc/meminfo: memFree=105744824/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=174352 memory=123980 CPUtime=178.69 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 17153 0 0 0 17729 140 0 0 20 0 1 0 25506873 178536448 30995 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 43588 30995 1422 291 0 35122 0
Current children cumulated CPU time: 178.69 s
Current children cumulated vsize: 174352 KiB
Current children cumulated memory: 123980 KiB

[startup+185.6 s]
/proc/loadavg: 4.30 4.29 4.23 5/241 278066
/proc/meminfo: memFree=105740548/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=178644 memory=127140 CPUtime=185.08 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 17910 0 0 0 18365 143 0 0 20 0 1 0 25506873 182931456 31785 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 44661 31785 1422 291 0 36195 0
Current children cumulated CPU time: 185.08 s
Current children cumulated vsize: 178644 KiB
Current children cumulated memory: 127140 KiB

[startup+187.2 s]
/proc/loadavg: 4.30 4.29 4.23 5/241 278066
/proc/meminfo: memFree=105736876/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=178804 memory=127400 CPUtime=186.67 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 17970 0 0 0 18523 144 0 0 20 0 1 0 25506873 183095296 31850 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 44701 31850 1422 291 0 36235 0
Current children cumulated CPU time: 186.67 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 127400 KiB

[startup+188 s]*
/proc/loadavg: 4.27 4.29 4.22 5/241 278068
/proc/meminfo: memFree=105732584/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=178804 memory=127400 CPUtime=187.48 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 17985 0 0 0 18604 144 0 0 20 0 1 0 25506873 183095296 31850 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 44701 31850 1422 291 0 36235 0
Current children cumulated CPU time: 187.48 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 127400 KiB

[startup+188.8 s]
/proc/loadavg: 4.27 4.29 4.22 5/241 278068
/proc/meminfo: memFree=105732584/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=178804 memory=127400 CPUtime=188.26 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 17994 0 0 0 18682 144 0 0 20 0 1 0 25506873 183095296 31850 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 44701 31850 1422 291 0 36235 0
Current children cumulated CPU time: 188.26 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 127400 KiB

[startup+189 s]*
/proc/loadavg: 4.27 4.29 4.22 5/241 278068
/proc/meminfo: memFree=105731912/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=178804 memory=127400 CPUtime=188.47 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 17999 0 0 0 18703 144 0 0 20 0 1 0 25506873 183095296 31850 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 44701 31850 1422 291 0 36235 0
Current children cumulated CPU time: 188.47 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 127400 KiB

[startup+189.112 s]
/proc/loadavg: 4.27 4.29 4.22 5/241 278068
/proc/meminfo: memFree=105731912/131655788 swapFree=131070704/131071996
[pid=278034] ppid=278031 vsize=178804 memory=127400 CPUtime=188.57 cores=4,6
/proc/278034/stat : 278034 (pb-oll-rs) R 278031 278034 273793 0 -1 4194304 17999 0 0 0 18713 144 0 0 20 0 1 0 25506873 183095296 31850 134679101440 4194304 5384005 140726389024640 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 28516352 140726389031959 140726389032036 140726389032036 140726389039051 0
/proc/278034/statm: 44701 31850 1422 291 0 36235 0
Current children cumulated CPU time: 188.57 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 127400 KiB

Child status: 0

Real time (s): 189.192
CPU time (s): 188.666
CPU user time (s): 187.21
CPU system time (s): 1.45598
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 178804
Max. memory (cumulated for all children) (KiB): 127400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.21
system time used= 1.45598
maximum resident set size= 127400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18010
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= 6
involuntary context switches= 237


# summary of solver processes directly reported to runsolver:
#   pid: 278034
#   total CPU time (s): 188.666
#   total CPU user time (s): 187.21
#   total CPU system time (s): 1.45598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.92408 second user time and 1.82614 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-25 10:12:55
IDJOB=4459438
IDBENCH=178796
IDSOLVER=3067
FILE ID=nodeC008/4459438-1721895175
RUNJOBID= nodeC008-1721887939-273804
SLURM_JOB_ID= 8089302
Free space on /tmp= 723644 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-859770.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459438-1721895175/watcher-4459438-1721895175 -o /tmp/evaluation-result-4459438-1721895175/solver-4459438-1721895175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273804 --watchdog 3760  pb-oll-rs HOME/instance-4459438-1721895175.opb

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

MD5SUM BENCH= 4a685e943d6a7da38bd3737149184f18
RANDOM SEED=1913462980

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		: 3659.775
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.19
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		: 3669.764
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.33
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.305
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.19
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.266
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.33
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.602
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.19
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		: 3669.832
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.33
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.132
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.19
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.322
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        106379700 kB
MemAvailable:   126486256 kB
Buffers:          316192 kB
Cached:         20551008 kB
SwapCached:          732 kB
Active:          2865924 kB
Inactive:       21695520 kB
Active(anon):       1652 kB
Inactive(anon):  3746496 kB
Active(file):    2864272 kB
Inactive(file): 17949024 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             15100 kB
Writeback:             8 kB
AnonPages:       3692008 kB
Mapped:           123680 kB
Shmem:             53860 kB
KReclaimable:     266580 kB
Slab:             386656 kB
SReclaimable:     266580 kB
SUnreclaim:       120076 kB
KernelStack:        3884 kB
PageTables:        16756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4175520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2879488 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723644 MiB
End job on nodeC008 at 2024-07-25 10:16:04