Trace number 4459452

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-19UNSAT 190.739 191.388

DiagnosticValue
AM1LB0
LOWERBOUND16
NAM1S0
NCORES2
NEXHAUSTED0
NPBCORES0
NPBREFORM0
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.20/0.25	c [STEP] solving
0.20/0.25	c #variables 2504 #constraints 2084
0.20/0.25	c SMALL=int, LARGE=long long
0.20/0.25	c bounds - >= 0 @ 0.251298
0.20/0.25	c stratification level: 8
103.44/103.89	c #Conflicts:       1000 | #Constraints:       3083
103.44/103.89	c bounds - >= 8 @ 1.24733
103.44/103.89	c #Conflicts:       2000 | #Constraints:       4084
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:       3000 | #Constraints:       3900
103.44/103.89	c #Conflicts:       4000 | #Constraints:       4900
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:       5000 | #Constraints:       4313
103.44/103.89	c #Conflicts:       6000 | #Constraints:       5313
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:       7000 | #Constraints:       4322
103.44/103.89	c #Conflicts:       8000 | #Constraints:       5322
103.44/103.89	c #Conflicts:       9000 | #Constraints:       6322
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      10000 | #Constraints:       5023
103.44/103.89	c #Conflicts:      11000 | #Constraints:       6023
103.44/103.89	c #Conflicts:      12000 | #Constraints:       7023
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      13000 | #Constraints:       5481
103.44/103.89	c #Conflicts:      14000 | #Constraints:       6481
103.44/103.89	c #Conflicts:      15000 | #Constraints:       7481
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      16000 | #Constraints:       5712
103.44/103.89	c #Conflicts:      17000 | #Constraints:       6712
103.44/103.89	c #Conflicts:      18000 | #Constraints:       7712
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      19000 | #Constraints:       5730
103.44/103.89	c #Conflicts:      20000 | #Constraints:       6730
103.44/103.89	c #Conflicts:      21000 | #Constraints:       7730
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      22000 | #Constraints:       5539
103.44/103.89	c #Conflicts:      23000 | #Constraints:       6539
103.44/103.89	c #Conflicts:      24000 | #Constraints:       7539
103.44/103.89	c #Conflicts:      25000 | #Constraints:       8539
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      26000 | #Constraints:       6046
103.44/103.89	c #Conflicts:      27000 | #Constraints:       7046
103.44/103.89	c #Conflicts:      28000 | #Constraints:       8046
103.44/103.89	c #Conflicts:      29000 | #Constraints:       9046
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      30000 | #Constraints:       6501
103.44/103.89	c #Conflicts:      31000 | #Constraints:       7501
103.44/103.89	c #Conflicts:      32000 | #Constraints:       8501
103.44/103.89	c #Conflicts:      33000 | #Constraints:       9501
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      34000 | #Constraints:       6705
103.44/103.89	c #Conflicts:      35000 | #Constraints:       7705
103.44/103.89	c #Conflicts:      36000 | #Constraints:       8705
103.44/103.89	c #Conflicts:      37000 | #Constraints:       9705
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      38000 | #Constraints:       6695
103.44/103.89	c #Conflicts:      39000 | #Constraints:       7695
103.44/103.89	c #Conflicts:      40000 | #Constraints:       8695
103.44/103.89	c #Conflicts:      41000 | #Constraints:       9695
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      42000 | #Constraints:       6580
103.44/103.89	c #Conflicts:      43000 | #Constraints:       7580
103.44/103.89	c #Conflicts:      44000 | #Constraints:       8580
103.44/103.89	c #Conflicts:      45000 | #Constraints:       9580
103.44/103.89	c #Conflicts:      46000 | #Constraints:      10580
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      47000 | #Constraints:       7174
103.44/103.89	c #Conflicts:      48000 | #Constraints:       8174
103.44/103.89	c #Conflicts:      49000 | #Constraints:       9174
103.44/103.89	c #Conflicts:      50000 | #Constraints:      10174
103.44/103.89	c #Conflicts:      51000 | #Constraints:      11174
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      52000 | #Constraints:       7596
103.44/103.89	c #Conflicts:      53000 | #Constraints:       8596
103.44/103.89	c #Conflicts:      54000 | #Constraints:       9596
103.44/103.89	c #Conflicts:      55000 | #Constraints:      10596
103.44/103.89	c #Conflicts:      56000 | #Constraints:      11596
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      57000 | #Constraints:       7766
103.44/103.89	c #Conflicts:      58000 | #Constraints:       8766
103.44/103.89	c #Conflicts:      59000 | #Constraints:       9766
103.44/103.89	c #Conflicts:      60000 | #Constraints:      10766
103.44/103.89	c #Conflicts:      61000 | #Constraints:      11766
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      62000 | #Constraints:       7742
103.44/103.89	c #Conflicts:      63000 | #Constraints:       8742
103.44/103.89	c #Conflicts:      64000 | #Constraints:       9742
103.44/103.89	c #Conflicts:      65000 | #Constraints:      10742
103.44/103.89	c #Conflicts:      66000 | #Constraints:      11742
103.44/103.89	c INPROCESSING
103.44/103.89	c GARBAGE COLLECT
103.44/103.89	c #Conflicts:      67000 | #Constraints:       7537
190.64/191.38	c #Conflicts:      68000 | #Constraints:       8537
190.64/191.38	c #Conflicts:      69000 | #Constraints:       9537
190.64/191.38	c #Conflicts:      70000 | #Constraints:      10537
190.64/191.38	c #Conflicts:      71000 | #Constraints:      11537
190.64/191.38	c #Conflicts:      72000 | #Constraints:      12537
190.64/191.38	c INPROCESSING
190.64/191.38	c GARBAGE COLLECT
190.64/191.38	c #Conflicts:      73000 | #Constraints:       8141
190.64/191.38	c #Conflicts:      74000 | #Constraints:       9141
190.64/191.38	c #Conflicts:      75000 | #Constraints:      10141
190.64/191.38	c #Conflicts:      76000 | #Constraints:      11141
190.64/191.38	c #Conflicts:      77000 | #Constraints:      12141
190.64/191.38	c #Conflicts:      78000 | #Constraints:      13141
190.64/191.38	c INPROCESSING
190.64/191.38	c GARBAGE COLLECT
190.64/191.38	c #Conflicts:      79000 | #Constraints:       8545
190.64/191.38	c #Conflicts:      80000 | #Constraints:       9545
190.64/191.38	c #Conflicts:      81000 | #Constraints:      10545
190.64/191.38	c #Conflicts:      82000 | #Constraints:      11545
190.64/191.38	c #Conflicts:      83000 | #Constraints:      12545
190.64/191.38	c #Conflicts:      84000 | #Constraints:      13545
190.64/191.38	c INPROCESSING
190.64/191.38	c GARBAGE COLLECT
190.64/191.38	c #Conflicts:      85000 | #Constraints:       8762
190.64/191.38	c #Conflicts:      86000 | #Constraints:       9762
190.64/191.38	c #Conflicts:      87000 | #Constraints:      10762
190.64/191.38	c #Conflicts:      88000 | #Constraints:      11762
190.64/191.38	c #Conflicts:      89000 | #Constraints:      12762
190.64/191.38	c #Conflicts:      90000 | #Constraints:      13762
190.64/191.38	c INPROCESSING
190.64/191.38	c GARBAGE COLLECT
190.64/191.38	c #Conflicts:      91000 | #Constraints:       8773
190.64/191.38	c #Conflicts:      92000 | #Constraints:       9773
190.64/191.38	c #Conflicts:      93000 | #Constraints:      10773
190.64/191.38	c #Conflicts:      94000 | #Constraints:      11773
190.64/191.38	c #Conflicts:      95000 | #Constraints:      12773
190.64/191.38	c #Conflicts:      96000 | #Constraints:      13773
190.64/191.38	c INPROCESSING
190.64/191.38	c GARBAGE COLLECT
190.64/191.38	c #Conflicts:      97000 | #Constraints:       8565
190.64/191.38	c #Conflicts:      98000 | #Constraints:       9565
190.64/191.38	c #Conflicts:      99000 | #Constraints:      10565
190.64/191.38	c #Conflicts:     100000 | #Constraints:      11565
190.64/191.38	c #Conflicts:     101000 | #Constraints:      12565
190.64/191.38	c #Conflicts:     102000 | #Constraints:      13565
190.64/191.38	c bounds - >= 16 @ 188.457
190.64/191.38	c #Conflicts:     103000 | #Constraints:      14566
190.64/191.38	c bounds - >= 16 @ 189.276
190.64/191.38	d SOLVEDBY oll
190.64/191.38	c cpu time 189.276 s
190.64/191.38	c deterministic time 34805983249 3.48e+10
190.64/191.38	c optimization time 0.014191 s
190.64/191.38	c total solve time 189.01 s
190.64/191.38	c core-guided solve time 189.01 s
190.64/191.38	c propagation time 112.527 s
190.64/191.38	c conflict analysis time 71.0288 s
190.64/191.38	c propagations 29830093
190.64/191.38	c resolve steps 3212362
190.64/191.38	c decisions 1264129
190.64/191.38	c conflicts 103004
190.64/191.38	c restarts 258
190.64/191.38	c inprocessing phases 23
190.64/191.38	c input clauses 1555
190.64/191.38	c input cardinalities 529
190.64/191.38	c input general constraints 2
190.64/191.38	c input average constraint length 426.35
190.64/191.38	c input average constraint degree 3.64
190.64/191.38	c learned clauses 50698
190.64/191.38	c learned cardinalities 5474
190.64/191.38	c learned general constraints 46831
190.64/191.38	c learned average constraint length 1132.10
190.64/191.38	c learned average constraint degree 47017283.51
190.64/191.38	c watched constraints 37359
190.64/191.38	c counting constraints 9474
190.64/191.38	c gcd simplifications 328
190.64/191.38	c detected cardinalities 26
190.64/191.38	c weakened non-implied lits 39581944
190.64/191.38	c weakened non-implying lits 14858
190.64/191.38	c original variables 2504
190.64/191.38	c clausal propagations 6691247
190.64/191.38	c cardinality propagations 16664115
190.64/191.38	c watched propagations 3620906
190.64/191.38	c counting propagations 1610136
190.64/191.38	c watch lookups 3013713896
190.64/191.38	c watch backjump lookups 2849305952
190.64/191.38	c watch checks 18426446147
190.64/191.38	c propagation checks 9497547622
190.64/191.38	c constraint additions 956679624
190.64/191.38	c trail pops 31195785
190.64/191.38	c formula constraints 2084
190.64/191.38	c learned constraints 103003
190.64/191.38	c bound constraints 2
190.64/191.38	c core-guided constraints 0
190.64/191.38	c encountered formula constraints 2359105
190.64/191.38	c encountered learned constraints 956261
190.64/191.38	c encountered bound constraints 0
190.64/191.38	c encountered core-guided constraints 0
190.64/191.38	c LP total time 0 s
190.64/191.38	c LP solve time 0 s
190.64/191.38	c LP constraints added 0
190.64/191.38	c LP constraints removed 0
190.64/191.38	c LP pivots internal 0
190.64/191.38	c LP pivots root 0
190.64/191.38	c LP calls 0
190.64/191.38	c LP optimalities 0
190.64/191.38	c LP no pivot count 0
190.64/191.38	c LP infeasibilities 0
190.64/191.38	c LP valid Farkas constraints 0
190.64/191.38	c LP learned Farkas constraints 0
190.64/191.38	c LP basis resets 0
190.64/191.38	c LP cycling count 0
190.64/191.38	c LP singular count 0
190.64/191.38	c LP no primal count 0
190.64/191.38	c LP no farkas count 0
190.64/191.38	c LP other issue count 0
190.64/191.38	c LP Gomory cuts 0
190.64/191.38	c LP learned cuts 0
190.64/191.38	c LP deleted cuts 0
190.64/191.38	c LP encountered Gomory constraints 0
190.64/191.38	c LP encountered Farkas constraints 0
190.64/191.38	c LP encountered learned Farkas constraints 0
190.64/191.38	c CG auxiliary variables introduced 0
190.64/191.38	c CG solutions found 0
190.64/191.38	c CG cores constructed 2
190.64/191.38	c CG core cardinality constraints returned 0
190.64/191.38	c CG unit cores 0
190.64/191.38	c CG single cores 2
190.64/191.38	c CG blocks removed during cardinality reduction 0
190.64/191.38	c CG first core best 0
190.64/191.38	c CG decision core best 0
190.64/191.38	c CG core reduction tie 0
190.64/191.38	c CG core degree average 1.00
190.64/191.38	c CG core slack average 255.00
190.64/191.38	c CG exhausted 0
190.64/191.38	c CG exhaust time 0 s
190.64/191.38	c CG trimmed 0
190.64/191.38	c CG trim time 0.009725 s
190.64/191.38	c CG minimized 0
190.64/191.38	c CG minimize time 0 s
190.64/191.38	c CG am1 prop time 0.001215 s
190.64/191.38	c CG # am1s reformulated 0
190.64/191.38	c CG lower bound derived from am1s 0
190.64/191.38	c CG # clausal cores 2
190.64/191.38	c CG # cardinality cores 0
190.64/191.38	c CG # pb cores 0
190.64/191.38	c CG # pb reforms 0
190.64/191.38	c CG # cores discarded because of pb reform 0
190.64/191.38	d LOWERBOUND 16
190.64/191.38	d NCORES 2
190.64/191.38	d NPBCORES 0
190.64/191.38	d NPBREFORM 0
190.64/191.38	d NTRIMMED 0
190.64/191.38	d NEXHAUSTED 0
190.64/191.38	d NAM1S 0
190.64/191.38	d AM1LB 0
190.64/191.38	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: 63931 MiB (61581 MiB free)
  memory of node 1: 64510 MiB (61926 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=277558, runsolver pid=277551

[startup+0.100785 s]*
/proc/loadavg: 1.73 3.37 3.88 7/249 277564
/proc/meminfo: memFree=126461596/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=39832 memory=9272 CPUtime=0.1 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 842 0 0 0 10 0 0 0 20 0 1 0 26728723 40787968 2318 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 9958 2318 1215 291 0 1492 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39832 KiB
Current children cumulated memory: 9272 KiB

[startup+0.204694 s]*
/proc/loadavg: 1.73 3.37 3.88 5/249 277567
/proc/meminfo: memFree=126454712/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=39832 memory=9272 CPUtime=0.2 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 852 0 0 0 20 0 0 0 20 0 1 0 26728723 40787968 2318 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 9958 2318 1215 291 0 1492 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39832 KiB
Current children cumulated memory: 9272 KiB

[startup+0.304885 s]*
/proc/loadavg: 1.73 3.37 3.88 6/252 277573
/proc/meminfo: memFree=126450900/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=40260 memory=11444 CPUtime=0.3 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 1228 0 0 0 29 1 0 0 20 0 1 0 26728723 41226240 2861 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 10065 2861 1373 291 0 1599 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40260 KiB
Current children cumulated memory: 11444 KiB

[startup+0.700193 s]
/proc/loadavg: 1.73 3.37 3.88 5/248 277590
/proc/meminfo: memFree=126442412/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=49132 memory=18244 CPUtime=0.69 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 2459 0 0 0 67 2 0 0 20 0 1 0 26728723 50311168 4561 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 12283 4561 1373 291 0 3817 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49132 KiB
Current children cumulated memory: 18244 KiB

[startup+1.50021 s]
/proc/loadavg: 1.73 3.37 3.88 7/254 277605
/proc/meminfo: memFree=126409900/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=58840 memory=27144 CPUtime=1.49 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 3611 0 0 0 145 4 0 0 20 0 1 0 26728723 60252160 6786 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 14710 6786 1389 291 0 6244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58840 KiB
Current children cumulated memory: 27144 KiB

[startup+3.10515 s]
/proc/loadavg: 1.91 3.38 3.88 6/254 277605
/proc/meminfo: memFree=126350736/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=73744 memory=36256 CPUtime=3.08 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 4851 0 0 0 301 7 0 0 20 0 1 0 26728723 75513856 9064 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 18436 9064 1440 291 0 9970 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 73744 KiB
Current children cumulated memory: 36256 KiB

[startup+6.30018 s]
/proc/loadavg: 1.91 3.38 3.88 6/254 277697
/proc/meminfo: memFree=126287004/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=78432 memory=47132 CPUtime=6.27 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 6035 0 0 0 614 13 0 0 20 0 1 0 26728723 80314368 11783 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 19608 11783 1440 291 0 11142 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78432 KiB
Current children cumulated memory: 47132 KiB

[startup+12.7002 s]
/proc/loadavg: 2.31 3.42 3.89 6/254 277699
/proc/meminfo: memFree=126242680/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=85688 memory=56532 CPUtime=12.64 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 7854 0 0 0 1242 22 0 0 20 0 1 0 26728723 87744512 14133 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 21422 14133 1440 291 0 12956 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 85688 KiB
Current children cumulated memory: 56532 KiB

[startup+25.5002 s]
/proc/loadavg: 2.57 3.44 3.89 6/254 277700
/proc/meminfo: memFree=126124840/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=111300 memory=70800 CPUtime=25.4 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 9888 0 0 0 2504 36 0 0 20 0 1 0 26728723 113971200 17700 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 27825 17700 1440 291 0 19359 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 111300 KiB
Current children cumulated memory: 70800 KiB

[startup+51.1056 s]
/proc/loadavg: 3.06 3.48 3.90 6/255 277706
/proc/meminfo: memFree=126009296/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=121880 memory=90456 CPUtime=50.92 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 12272 0 0 0 5033 59 0 0 20 0 1 0 26728723 124805120 22614 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 30470 22614 1440 291 0 22004 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 121880 KiB
Current children cumulated memory: 90456 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 3.60 3.92 6/255 277715
/proc/meminfo: memFree=125890428/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=159964 memory=104032 CPUtime=101.94 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 14678 0 0 0 10101 93 0 0 20 0 1 0 26728723 163803136 26008 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 39991 26008 1440 291 0 31525 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 159964 KiB
Current children cumulated memory: 104032 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.69 3.93 6/255 277726
/proc/meminfo: memFree=125769296/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=172800 memory=124240 CPUtime=161.74 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 17160 0 0 0 16043 131 0 0 20 0 1 0 26728723 176947200 31060 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 43200 31060 1440 291 0 34734 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 172800 KiB
Current children cumulated memory: 124240 KiB

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

# cumulated CPU time of all completed processes:  user=189.278 s, system=1.46111 s

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

[startup+166.4 s]
/proc/loadavg: 3.96 3.69 3.93 6/255 277726
/proc/meminfo: memFree=125767784/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=173104 memory=124504 CPUtime=165.83 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 17231 0 0 0 16449 134 0 0 20 0 1 0 26728723 177258496 31126 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 43276 31126 1440 291 0 34810 0
Current children cumulated CPU time: 165.83 s
Current children cumulated vsize: 173104 KiB
Current children cumulated memory: 124504 KiB

[startup+179.2 s]
/proc/loadavg: 3.97 3.71 3.93 7/255 277729
/proc/meminfo: memFree=125701396/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=174060 memory=125296 CPUtime=178.58 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 17433 0 0 0 17717 141 0 0 20 0 1 0 26728723 178237440 31324 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 43515 31324 1440 291 0 35049 0
Current children cumulated CPU time: 178.58 s
Current children cumulated vsize: 174060 KiB
Current children cumulated memory: 125296 KiB

[startup+185.6 s]
/proc/loadavg: 3.97 3.71 3.93 6/255 277730
/proc/meminfo: memFree=125637192/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=174804 memory=125820 CPUtime=184.96 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 17557 0 0 0 18354 142 0 0 20 0 1 0 26728723 178999296 31455 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 43701 31455 1440 291 0 35235 0
Current children cumulated CPU time: 184.96 s
Current children cumulated vsize: 174804 KiB
Current children cumulated memory: 125820 KiB

[startup+188.8 s]
/proc/loadavg: 3.98 3.72 3.93 6/255 277731
/proc/meminfo: memFree=125632176/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=178644 memory=128456 CPUtime=188.15 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 18245 0 0 0 18671 144 0 0 20 0 1 0 26728723 182931456 32114 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 44661 32114 1440 291 0 36195 0
Current children cumulated CPU time: 188.15 s
Current children cumulated vsize: 178644 KiB
Current children cumulated memory: 128456 KiB

[startup+190.4 s]
/proc/loadavg: 3.98 3.72 3.93 6/255 277731
/proc/meminfo: memFree=125631532/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=178804 memory=128712 CPUtime=189.75 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 18305 0 0 0 18830 145 0 0 20 0 1 0 26728723 183095296 32178 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 44701 32178 1440 291 0 36235 0
Current children cumulated CPU time: 189.75 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 128712 KiB

[startup+190.8 s]
/proc/loadavg: 3.98 3.72 3.93 6/255 277731
/proc/meminfo: memFree=125631532/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=178804 memory=128712 CPUtime=190.14 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 18313 0 0 0 18869 145 0 0 20 0 1 0 26728723 183095296 32178 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 44701 32178 1440 291 0 36235 0
Current children cumulated CPU time: 190.14 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 128712 KiB

[startup+191.2 s]
/proc/loadavg: 3.98 3.72 3.93 6/255 277731
/proc/meminfo: memFree=125631196/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=178804 memory=128712 CPUtime=190.54 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 18318 0 0 0 18909 145 0 0 20 0 1 0 26728723 183095296 32178 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 44701 32178 1440 291 0 36235 0
Current children cumulated CPU time: 190.54 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 128712 KiB

[startup+191.3 s]
/proc/loadavg: 3.98 3.72 3.93 6/255 277731
/proc/meminfo: memFree=125631196/131524600 swapFree=131058856/131071996
[pid=277558] ppid=277551 vsize=178804 memory=128712 CPUtime=190.64 cores=0,2
/proc/277558/stat : 277558 (pb-oll-rs) R 277551 277558 277486 0 -1 4194304 18318 0 0 0 18919 145 0 0 20 0 1 0 26728723 183095296 32178 134679101440 4194304 5384485 140727027396752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 22781952 140727027401751 140727027401828 140727027401828 140727027408843 0
/proc/277558/statm: 44701 32178 1440 291 0 36235 0
Current children cumulated CPU time: 190.64 s
Current children cumulated vsize: 178804 KiB
Current children cumulated memory: 128712 KiB

Child status: 0

Real time (s): 191.388
CPU time (s): 190.739
CPU user time (s): 189.278
CPU system time (s): 1.46111
CPU usage (%): 99.6605
Max. virtual memory (cumulated for all children) (KiB): 178804
Max. memory (cumulated for all children) (KiB): 128712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.278
system time used= 1.46111
maximum resident set size= 128712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18328
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= 1343


# summary of solver processes directly reported to runsolver:
#   pid: 277558
#   total CPU time (s): 190.739
#   total CPU user time (s): 189.278
#   total CPU system time (s): 1.46111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.363932 second user time and 0.909253 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-25 12:06:32
IDJOB=4459452
IDBENCH=178796
IDSOLVER=3082
FILE ID=nodeC031/4459452-1721901992
RUNJOBID= nodeC031-1721901992-277496
SLURM_JOB_ID= 8089399
Free space on /tmp= 890068 MiB

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

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

MD5SUM BENCH= 4a685e943d6a7da38bd3737149184f18
RANDOM SEED=1529767323

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126477516 kB
MemAvailable:   129572984 kB
Buffers:          314344 kB
Cached:          3450868 kB
SwapCached:          360 kB
Active:          2205648 kB
Inactive:        1926284 kB
Active(anon):       1740 kB
Inactive(anon):   418604 kB
Active(file):    2203908 kB
Inactive(file):  1507680 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:             18188 kB
Writeback:             4 kB
AnonPages:        365276 kB
Mapped:           101888 kB
Shmem:             53296 kB
KReclaimable:     445112 kB
Slab:             566244 kB
SReclaimable:     445112 kB
SUnreclaim:       121132 kB
KernelStack:        3892 kB
PageTables:         9688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     832496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      367316 kB
DirectMap2M:    37154816 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC031 at 2024-07-25 12:09:43