Trace number 4458572

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
SCIP 2024-07-07? (TO) 3600.07 3609.6

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
MD5SUM0e48a521f9e70a759d0a47d941d82f86
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12675
Best CPU time to get the best result obtained on this benchmark0.295898
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25350
Total number of constraints4225
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)65
Number of constraints which are nor clauses,nor cardinality constraints4160
Minimum length of a constraint6
Maximum length of a constraint18
Number of terms in the objective function 25350
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 25350
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 25350
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 SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4458572-1721868544.opb>
0.00/0.05	c original problem has 25350 variables (25350 bin, 0 int, 0 impl, 0 cont) and 4225 constraints
0.00/0.05	c problem read in 0.05
0.10/0.11	o 25350
0.10/0.11	c feasible solution found by trivial heuristic after 0.1 seconds, objective value 2.535000e+04
0.10/0.11	c presolving:
0.10/0.12	c (round 1, fast)       0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 65 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.10/0.15	c    (0.1s) running MILP presolver
0.10/0.17	c    (0.2s) MILP presolver found nothing
0.19/0.21	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 65 chg sides, 0 chg coeffs, 4161 upgd conss, 0 impls, 0 clqs
0.19/0.23	c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 65 chg sides, 0 chg coeffs, 4225 upgd conss, 0 impls, 0 clqs
0.39/0.48	c    (0.5s) probing: 51/25350 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.48	c    (0.5s) probing aborted: 50/50 successive totally useless probings
0.39/0.50	c    (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458572-1721868544/watcher-4458572-1721868544 -o /tmp/evaluation-result-4458572-1721868544/solver-4458572-1721868544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721865115-254127 --watchdog 3760 pbscip -f HOME/instance-4458572-1721868544.opb -t 3600 -j 2 -m 31000 

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=257151, runsolver pid=257148

[startup+0.100089 s]*
/proc/loadavg: 4.17 4.18 4.21 5/255 257152
/proc/meminfo: memFree=118018576/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=127036 memory=84960 CPUtime=0.1 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 18709 0 0 0 7 3 0 0 20 0 1 0 23383981 130084864 21240 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 31759 21240 3561 3540 0 20016 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 127036 KiB
Current children cumulated memory: 84960 KiB

[startup+0.205783 s]*
/proc/loadavg: 4.17 4.18 4.21 5/255 257152
/proc/meminfo: memFree=117983072/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=165980 memory=124696 CPUtime=0.19 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 31621 0 0 0 15 4 0 0 20 0 1 0 23383981 169963520 31174 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 41495 31174 3704 3540 0 29752 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 165980 KiB
Current children cumulated memory: 124696 KiB

[startup+0.305703 s]*
/proc/loadavg: 4.17 4.18 4.21 5/255 257152
/proc/meminfo: memFree=117976548/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=169080 memory=126716 CPUtime=0.29 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 32103 0 0 0 25 4 0 0 20 0 1 0 23383981 173137920 31679 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 42270 31679 3752 3540 0 30527 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 169080 KiB
Current children cumulated memory: 126716 KiB

[startup+0.700197 s]
/proc/loadavg: 4.17 4.18 4.21 5/255 257152
/proc/meminfo: memFree=117973240/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=288820 memory=204716 CPUtime=0.69 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 51088 0 0 0 62 7 0 0 20 0 1 0 23383981 295751680 51179 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 72205 51179 3768 3540 0 60462 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 288820 KiB
Current children cumulated memory: 204716 KiB

[startup+1.50018 s]
/proc/loadavg: 4.17 4.18 4.21 5/255 257152
/proc/meminfo: memFree=117866168/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=367636 memory=283652 CPUtime=1.48 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 70829 0 0 0 138 10 0 0 20 0 1 0 23383981 376459264 70913 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 91909 70913 3768 3540 0 80166 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 367636 KiB
Current children cumulated memory: 283652 KiB

[startup+3.10548 s]
/proc/loadavg: 4.16 4.17 4.20 5/255 257152
/proc/meminfo: memFree=117786844/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=391408 memory=309788 CPUtime=3.09 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 77385 0 0 0 298 11 0 0 20 0 1 0 23383981 400801792 77447 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 97852 77447 3768 3540 0 86109 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 391408 KiB
Current children cumulated memory: 309788 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.17 4.20 5/255 257154
/proc/meminfo: memFree=117759432/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=413200 memory=333020 CPUtime=6.27 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 83183 0 0 0 615 12 0 0 20 0 1 0 23383981 423116800 83255 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 103300 83255 3768 3540 0 91557 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 413200 KiB
Current children cumulated memory: 333020 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.17 4.20 5/255 257154
/proc/meminfo: memFree=117718724/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=440932 memory=360212 CPUtime=12.65 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 89998 0 0 0 1251 14 0 0 20 0 1 0 23383981 451514368 90053 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 110233 90053 3768 3540 0 98490 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 440932 KiB
Current children cumulated memory: 360212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.27 4.20 4.21 5/255 257157
/proc/meminfo: memFree=117669168/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461732 memory=381068 CPUtime=25.42 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95198 0 0 0 2524 18 0 0 20 0 1 0 23383981 472813568 95267 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115433 95267 3768 3540 0 103690 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 461732 KiB
Current children cumulated memory: 381068 KiB

[startup+51.1054 s]
/proc/loadavg: 4.18 4.18 4.20 5/255 257160
/proc/meminfo: memFree=117612700/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461740 memory=381068 CPUtime=50.95 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95200 0 0 0 5073 22 0 0 20 0 1 0 23383981 472821760 95267 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115435 95267 3768 3540 0 103692 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 461740 KiB
Current children cumulated memory: 381068 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.19 5/258 257174
/proc/meminfo: memFree=117503040/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461752 memory=381068 CPUtime=102.01 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95203 0 0 0 10169 32 0 0 20 0 1 0 23383981 472834048 95267 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115438 95267 3768 3540 0 103695 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 461752 KiB
Current children cumulated memory: 381068 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.19 6/257 257185
/proc/meminfo: memFree=117375836/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461764 memory=381068 CPUtime=161.84 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95206 0 0 0 16141 43 0 0 20 0 1 0 23383981 472846336 95267 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115441 95267 3768 3540 0 103698 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 461764 KiB
Current children cumulated memory: 381068 KiB

[startup+222.3 s]
/proc/loadavg: 4.58 4.26 4.22 5/257 257471
/proc/meminfo: memFree=124309276/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461772 memory=385944 CPUtime=221.64 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95224 0 0 0 22112 52 0 0 20 0 1 0 23383981 472854528 96486 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115443 96486 3768 3540 0 103700 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 461772 KiB
Current children cumulated memory: 385944 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 4.23 4.21 5/257 257481
/proc/meminfo: memFree=124114196/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461776 memory=385944 CPUtime=281.46 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95253 0 0 0 28094 52 0 0 20 0 1 0 23383981 472858624 96486 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115444 96486 3768 3540 0 103701 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 461776 KiB
Current children cumulated memory: 385944 KiB

[startup+342.3 s]
/proc/loadavg: 4.49 4.30 4.23 5/257 257492
/proc/meminfo: memFree=124062076/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461784 memory=386068 CPUtime=341.3 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95276 0 0 0 34078 52 0 0 20 0 1 0 23383981 472866816 96517 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115446 96517 3768 3540 0 103703 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 461784 KiB
Current children cumulated memory: 386068 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.25 4.22 5/255 257887
/proc/meminfo: memFree=124150100/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461788 memory=392000 CPUtime=401.13 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95310 0 0 0 40060 53 0 0 20 0 1 0 23383981 472870912 98000 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115447 98000 3768 3540 0 103704 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 461788 KiB
Current children cumulated memory: 392000 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.24 4.21 5/255 257897
/proc/meminfo: memFree=124147452/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461796 memory=392000 CPUtime=460.96 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 95332 0 0 0 46043 53 0 0 20 0 1 0 23383981 472879104 98000 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115449 98000 3768 3540 0 103706 0

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

Current children cumulated memory: 392124 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/254 259200
/proc/meminfo: memFree=122734736/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461912 memory=392128 CPUtime=2854.7 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96478 0 0 0 285416 54 0 0 20 0 1 0 23383981 472997888 98032 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115478 98032 3768 3540 0 103735 0
Current children cumulated CPU time: 2854.7 s
Current children cumulated vsize: 461912 KiB
Current children cumulated memory: 392128 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/254 259211
/proc/meminfo: memFree=122733116/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461916 memory=392128 CPUtime=2914.54 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96513 0 0 0 291400 54 0 0 20 0 1 0 23383981 473001984 98032 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115479 98032 3768 3540 0 103736 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 461916 KiB
Current children cumulated memory: 392128 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/254 259221
/proc/meminfo: memFree=122717336/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461916 memory=392132 CPUtime=2974.39 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96547 0 0 0 297385 54 0 0 20 0 1 0 23383981 473001984 98033 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115479 98033 3768 3540 0 103736 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 461916 KiB
Current children cumulated memory: 392132 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.12 4.11 5/254 259233
/proc/meminfo: memFree=122701880/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461920 memory=392132 CPUtime=3034.23 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96584 0 0 0 303369 54 0 0 20 0 1 0 23383981 473006080 98033 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115480 98033 3768 3540 0 103737 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 461920 KiB
Current children cumulated memory: 392132 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/257 259248
/proc/meminfo: memFree=122701104/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461920 memory=392136 CPUtime=3094.08 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96619 0 0 0 309354 54 0 0 20 0 1 0 23383981 473006080 98034 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115480 98034 3768 3540 0 103737 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 461920 KiB
Current children cumulated memory: 392136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/257 259259
/proc/meminfo: memFree=122692888/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461924 memory=392136 CPUtime=3153.92 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96655 0 0 0 315338 54 0 0 20 0 1 0 23383981 473010176 98034 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115481 98034 3768 3540 0 103738 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 461924 KiB
Current children cumulated memory: 392136 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 259270
/proc/meminfo: memFree=122684664/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461924 memory=392140 CPUtime=3213.76 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96690 0 0 0 321322 54 0 0 20 0 1 0 23383981 473010176 98035 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115481 98035 3768 3540 0 103738 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 461924 KiB
Current children cumulated memory: 392140 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 259280
/proc/meminfo: memFree=122683868/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461928 memory=392140 CPUtime=3273.61 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96728 0 0 0 327307 54 0 0 20 0 1 0 23383981 473014272 98035 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115482 98035 3768 3540 0 103739 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 461928 KiB
Current children cumulated memory: 392140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 259290
/proc/meminfo: memFree=122679956/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461928 memory=392144 CPUtime=3333.46 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96764 0 0 0 333292 54 0 0 20 0 1 0 23383981 473014272 98036 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115482 98036 3768 3540 0 103739 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 461928 KiB
Current children cumulated memory: 392144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.17 4.11 5/254 259301
/proc/meminfo: memFree=122647484/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461932 memory=392144 CPUtime=3393.3 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96801 0 0 0 339276 54 0 0 20 0 1 0 23383981 473018368 98036 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115483 98036 3768 3540 0 103740 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 461932 KiB
Current children cumulated memory: 392144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/254 259312
/proc/meminfo: memFree=122645344/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461932 memory=392148 CPUtime=3453.14 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96837 0 0 0 345260 54 0 0 20 0 1 0 23383981 473018368 98037 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115483 98037 3768 3540 0 103740 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 461932 KiB
Current children cumulated memory: 392148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/254 259325
/proc/meminfo: memFree=122644632/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461936 memory=392152 CPUtime=3512.98 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96876 0 0 0 351244 54 0 0 20 0 1 0 23383981 473022464 98038 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115484 98038 3768 3540 0 103741 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 461936 KiB
Current children cumulated memory: 392152 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/254 259335
/proc/meminfo: memFree=122643876/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461936 memory=392152 CPUtime=3572.83 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96913 0 0 0 357229 54 0 0 20 0 1 0 23383981 473022464 98038 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115484 98038 3768 3540 0 103741 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 461936 KiB
Current children cumulated memory: 392152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.10 4.14 4.10 5/254 259340
/proc/meminfo: memFree=122643232/131524600 swapFree=131058856/131071996
[pid=257151] ppid=257148 vsize=461936 memory=392152 CPUtime=3600.06 cores=0,2
/proc/257151/stat : 257151 (pbscip) R 257148 257151 254117 0 -1 4194304 96915 0 0 0 359952 54 0 0 20 0 1 0 23383981 473022464 98038 134679101440 4194304 18693293 140724500769408 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 58040320 140724500775940 140724500776039 140724500776039 140724500783054 0
/proc/257151/statm: 115484 98038 3768 3540 0 103741 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 461936 KiB
Current children cumulated memory: 392152 KiB

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

[startup+3609.6 s]
# the end of solver process 257151 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3599.52 s, system=0.547875 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.6
CPU time (s): 3600.07
CPU user time (s): 3599.52
CPU system time (s): 0.547875
CPU usage (%): 99.7359
Max. virtual memory (cumulated for all children) (KiB): 461936
Max. memory (cumulated for all children) (KiB): 392152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.52
system time used= 0.547875
maximum resident set size= 392152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96915
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= 12
involuntary context switches= 25196


# summary of solver processes directly reported to runsolver:
#   pid: 257151
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.52
#   total CPU system time (s): 0.547875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91563 second user time and 17.7586 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-25 02:49:04
IDJOB=4458572
IDBENCH=177684
IDSOLVER=3059
FILE ID=nodeC031/4458572-1721868544
RUNJOBID= nodeC031-1721865115-254127
SLURM_JOB_ID= 8089188
Free space on /tmp= 890016 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458572-1721868544/watcher-4458572-1721868544 -o /tmp/evaluation-result-4458572-1721868544/solver-4458572-1721868544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721865115-254127 --watchdog 3760  pbscip -f HOME/instance-4458572-1721868544.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 0e48a521f9e70a759d0a47d941d82f86
RANDOM SEED=395967593

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		: 3657.535
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		: 3683.175
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		: 3667.485
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		: 3600.534
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		: 3669.700
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		: 3683.216
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		: 3603.774
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		: 3600.470
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:        118089736 kB
MemAvailable:   121188228 kB
Buffers:          282956 kB
Cached:          3485064 kB
SwapCached:          360 kB
Active:          2141308 kB
Inactive:       10362308 kB
Active(anon):       1840 kB
Inactive(anon):  8787052 kB
Active(file):    2139468 kB
Inactive(file):  1575256 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:             19724 kB
Writeback:             0 kB
AnonPages:       8731312 kB
Mapped:           135604 kB
Shmem:             53296 kB
KReclaimable:     445000 kB
Slab:             566012 kB
SReclaimable:     445000 kB
SUnreclaim:       121012 kB
KernelStack:        4096 kB
PageTables:        26684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9206036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4909056 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= 889992 MiB
End job on nodeC031 at 2024-07-25 03:49:14