Trace number 4446946

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 NameAnswerCPU timeWall clock time
Exact 2024-07-05? (TO) 3602.03 3613.9

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K82.opb
MD5SUM5599f1c242004f89302cb9020bac47d1
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5576
Total number of constraints5742
Number of constraints which are clauses5660
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint82
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 83
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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: 63968 MiB (62399 MiB free)
  memory of node 1: 64473 MiB (62615 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446946-1721344437/watcher-4446946-1721344437 -o /tmp/evaluation-result-4446946-1721344437/solver-4446946-1721344437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721340837-978137 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1255786755 HOME/instance-4446946-1721344437.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=980216, runsolver pid=980213

[startup+0.100795 s]*
/proc/loadavg: 4.24 4.14 4.12 5/257 980217
/proc/meminfo: memFree=127998296/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=43408 memory=21372 CPUtime=0.09 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 4617 0 0 0 8 1 0 0 20 0 1 0 186610337 44449792 5343 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 10852 5343 1092 1005 0 9615 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 21372 KiB

[startup+0.205648 s]*
/proc/loadavg: 4.24 4.14 4.12 5/257 980217
/proc/meminfo: memFree=127996268/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=43776 memory=21636 CPUtime=0.19 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 4724 0 0 0 18 1 0 0 20 0 1 0 186610337 44826624 5409 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 10944 5409 1092 1005 0 9707 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43776 KiB
Current children cumulated memory: 21636 KiB

[startup+0.305297 s]*
/proc/loadavg: 4.24 4.14 4.12 5/257 980217
/proc/meminfo: memFree=127993436/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=43940 memory=22164 CPUtime=0.29 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 4810 0 0 0 28 1 0 0 20 0 1 0 186610337 44994560 5541 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 10985 5541 1092 1005 0 9748 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43940 KiB
Current children cumulated memory: 22164 KiB

[startup+0.700177 s]
/proc/loadavg: 4.24 4.14 4.12 5/257 980217
/proc/meminfo: memFree=127984248/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=45208 memory=25852 CPUtime=0.69 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 5232 0 0 0 67 2 0 0 20 0 1 0 186610337 46292992 6463 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 11302 6463 1108 1005 0 10065 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45208 KiB
Current children cumulated memory: 25852 KiB

[startup+1.50021 s]
/proc/loadavg: 4.24 4.14 4.12 5/257 980217
/proc/meminfo: memFree=127971220/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=47148 memory=34096 CPUtime=1.48 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 5724 0 0 0 146 2 0 0 20 0 1 0 186610337 48279552 8524 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 11787 8524 1108 1005 0 10550 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47148 KiB
Current children cumulated memory: 34096 KiB

[startup+3.10548 s]
/proc/loadavg: 4.24 4.14 4.12 5/258 980221
/proc/meminfo: memFree=127930032/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=49564 memory=42380 CPUtime=3.08 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 6284 0 0 0 305 3 0 0 20 0 1 0 186610337 50753536 10595 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 12391 10595 1124 1005 0 11154 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49564 KiB
Current children cumulated memory: 42380 KiB

[startup+6.30021 s]
/proc/loadavg: 4.22 4.14 4.12 5/258 980221
/proc/meminfo: memFree=127883612/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=51308 memory=45256 CPUtime=6.26 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 6990 0 0 0 622 4 0 0 20 0 1 0 186610337 52539392 11314 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 12827 11314 1124 1005 0 11590 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 51308 KiB
Current children cumulated memory: 45256 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.13 4.12 5/258 980222
/proc/meminfo: memFree=127854144/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=67456 memory=50588 CPUtime=12.64 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 8066 0 0 0 1258 6 0 0 20 0 1 0 186610337 69074944 12647 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 16864 12647 1140 1005 0 15627 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67456 KiB
Current children cumulated memory: 50588 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.12 5/258 980224
/proc/meminfo: memFree=127827204/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=71976 memory=59096 CPUtime=25.39 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 9162 0 0 0 2528 11 0 0 20 0 1 0 186610337 73703424 14774 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 17994 14774 1140 1005 0 16757 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 71976 KiB
Current children cumulated memory: 59096 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.13 4.12 5/258 980227
/proc/meminfo: memFree=127791424/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=75832 memory=65020 CPUtime=50.89 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 10166 0 0 0 5072 17 0 0 20 0 1 0 186610337 77651968 16255 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 18958 16255 1140 1005 0 17721 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 75832 KiB
Current children cumulated memory: 65020 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/258 980238
/proc/meminfo: memFree=127729808/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=81060 memory=69920 CPUtime=101.89 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 11448 0 0 0 10158 31 0 0 20 0 1 0 186610337 83005440 17480 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 20265 17480 1140 1005 0 19028 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 81060 KiB
Current children cumulated memory: 69920 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/255 980248
/proc/meminfo: memFree=127663092/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=108344 memory=82036 CPUtime=161.66 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 13345 0 0 0 16121 45 0 0 20 0 1 0 186610337 110944256 20509 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 27086 20509 1140 1005 0 25849 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 108344 KiB
Current children cumulated memory: 82036 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/255 980259
/proc/meminfo: memFree=127631780/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=109932 memory=84092 CPUtime=221.42 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 13843 0 0 0 22083 59 0 0 20 0 1 0 186610337 112570368 21023 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 27483 21023 1140 1005 0 26246 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 109932 KiB
Current children cumulated memory: 84092 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/255 980269
/proc/meminfo: memFree=127506964/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=112008 memory=86264 CPUtime=281.18 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 14362 0 0 0 28044 74 0 0 20 0 1 0 186610337 114696192 21566 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 28002 21566 1140 1005 0 26765 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 112008 KiB
Current children cumulated memory: 86264 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/254 980280
/proc/meminfo: memFree=127495196/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=113080 memory=87932 CPUtime=340.98 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 14677 0 0 0 34006 92 0 0 20 0 1 0 186610337 115793920 21983 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 28270 21983 1140 1005 0 27033 0
Current children cumulated CPU time: 340.98 s
Current children cumulated vsize: 113080 KiB
Current children cumulated memory: 87932 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/257 980295
/proc/meminfo: memFree=127484472/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=114616 memory=89624 CPUtime=400.79 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 15100 0 0 0 39976 103 0 0 20 0 1 0 186610337 117366784 22406 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 28654 22406 1140 1005 0 27417 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 114616 KiB
Current children cumulated memory: 89624 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/257 980306
/proc/meminfo: memFree=127465680/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=115168 memory=90280 CPUtime=460.6 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 15304 0 0 0 45941 119 0 0 20 0 1 0 186610337 117932032 22570 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 28792 22570 1140 1005 0 27555 0

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

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/255 981962
/proc/meminfo: memFree=126834468/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=137324 memory=128772 CPUtime=3092.06 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 22799 0 0 0 308492 714 0 0 20 0 1 0 186610337 140619776 32193 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34331 32193 1140 1005 0 33094 0
Current children cumulated CPU time: 3092.06 s
Current children cumulated vsize: 137324 KiB
Current children cumulated memory: 128772 KiB

[startup+3162.3 s]
/proc/loadavg: 4.65 4.25 4.14 5/255 981972
/proc/meminfo: memFree=126832584/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=137908 memory=129356 CPUtime=3151.86 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 22997 0 0 0 314461 725 0 0 20 0 1 0 186610337 141217792 32339 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34477 32339 1140 1005 0 33240 0
Current children cumulated CPU time: 3151.86 s
Current children cumulated vsize: 137908 KiB
Current children cumulated memory: 129356 KiB

[startup+3222.3 s]
/proc/loadavg: 4.28 4.22 4.13 5/255 981983
/proc/meminfo: memFree=126818336/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=138044 memory=129456 CPUtime=3211.67 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23065 0 0 0 320425 742 0 0 20 0 1 0 186610337 141357056 32364 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34511 32364 1140 1005 0 33274 0
Current children cumulated CPU time: 3211.67 s
Current children cumulated vsize: 138044 KiB
Current children cumulated memory: 129456 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/255 981993
/proc/meminfo: memFree=126815724/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=138044 memory=129612 CPUtime=3271.48 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23142 0 0 0 326396 752 0 0 20 0 1 0 186610337 141357056 32403 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34511 32403 1140 1005 0 33274 0
Current children cumulated CPU time: 3271.48 s
Current children cumulated vsize: 138044 KiB
Current children cumulated memory: 129612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/255 982003
/proc/meminfo: memFree=126815412/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=138372 memory=129772 CPUtime=3331.29 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23251 0 0 0 332363 766 0 0 20 0 1 0 186610337 141692928 32443 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34593 32443 1140 1005 0 33356 0
Current children cumulated CPU time: 3331.29 s
Current children cumulated vsize: 138372 KiB
Current children cumulated memory: 129772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/257 982019
/proc/meminfo: memFree=126812816/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=138372 memory=129884 CPUtime=3391.1 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23322 0 0 0 338331 779 0 0 20 0 1 0 186610337 141692928 32471 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34593 32471 1140 1005 0 33356 0
Current children cumulated CPU time: 3391.1 s
Current children cumulated vsize: 138372 KiB
Current children cumulated memory: 129884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.19 4.13 5/257 982030
/proc/meminfo: memFree=126811844/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=138512 memory=129956 CPUtime=3450.9 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23398 0 0 0 344294 796 0 0 20 0 1 0 186610337 141836288 32489 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34628 32489 1140 1005 0 33391 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 138512 KiB
Current children cumulated memory: 129956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/257 982040
/proc/meminfo: memFree=126789872/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=138684 memory=130148 CPUtime=3510.72 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23505 0 0 0 350265 807 0 0 20 0 1 0 186610337 142012416 32537 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34671 32537 1140 1005 0 33434 0
Current children cumulated CPU time: 3510.72 s
Current children cumulated vsize: 138684 KiB
Current children cumulated memory: 130148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/258 982052
/proc/meminfo: memFree=126789056/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=139196 memory=130672 CPUtime=3570.52 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23677 0 0 0 356235 817 0 0 20 0 1 0 186610337 142536704 32668 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34799 32668 1140 1005 0 33562 0
Current children cumulated CPU time: 3570.52 s
Current children cumulated vsize: 139196 KiB
Current children cumulated memory: 130672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.09 4.15 4.12 5/258 982195
/proc/meminfo: memFree=127949896/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=139596 memory=130916 CPUtime=3600.02 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23764 0 0 0 359178 824 0 0 20 0 1 0 186610337 142946304 32729 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34899 32729 1140 1005 0 33662 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 139596 KiB
Current children cumulated memory: 130916 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3613.9 s]
# the end of solver process 980216 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3593.76 s, system=8.27592 s

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

[startup+3612.8 s]
/proc/loadavg: 4.09 4.15 4.12 5/258 982196
/proc/meminfo: memFree=127942248/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=139596 memory=130916 CPUtime=3600.92 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23764 0 0 0 359267 825 0 0 20 0 1 0 186610337 142946304 32729 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34899 32729 1140 1005 0 33662 0
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 139596 KiB
Current children cumulated memory: 130916 KiB

[startup+3613.6 s]
/proc/loadavg: 4.09 4.15 4.12 5/258 982196
/proc/meminfo: memFree=127921304/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=139596 memory=130916 CPUtime=3601.72 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23764 0 0 0 359346 826 0 0 20 0 1 0 186610337 142946304 32729 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34899 32729 1140 1005 0 33662 0
Current children cumulated CPU time: 3601.72 s
Current children cumulated vsize: 139596 KiB
Current children cumulated memory: 130916 KiB

[startup+3613.8 s]
/proc/loadavg: 4.09 4.15 4.12 5/258 982196
/proc/meminfo: memFree=127921304/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=139596 memory=130916 CPUtime=3601.92 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23764 0 0 0 359365 827 0 0 20 0 1 0 186610337 142946304 32729 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34899 32729 1140 1005 0 33662 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 139596 KiB
Current children cumulated memory: 130916 KiB

[startup+3613.9 s]
/proc/loadavg: 4.09 4.15 4.12 5/258 982196
/proc/meminfo: memFree=127921304/131524600 swapFree=131071996/131071996
[pid=980216] ppid=980213 vsize=139596 memory=130916 CPUtime=3602.02 cores=0,2
/proc/980216/stat : 980216 (Exact) R 980213 980216 978127 0 -1 4194304 23764 0 0 0 359375 827 0 0 20 0 1 0 186610337 142946304 32729 134679101440 4194304 8309489 140736895339520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 28966912 140736895345597 140736895345767 140736895345767 140736895352783 0
/proc/980216/statm: 34899 32729 1140 1005 0 33662 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 139596 KiB
Current children cumulated memory: 130916 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.9
CPU time (s): 3602.03
CPU user time (s): 3593.76
CPU system time (s): 8.27592
CPU usage (%): 99.6716
Max. virtual memory (cumulated for all children) (KiB): 139596
Max. memory (cumulated for all children) (KiB): 130916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.76
system time used= 8.27593
maximum resident set size= 131044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23764
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= 29
involuntary context switches= 24794


# summary of solver processes directly reported to runsolver:
#   pid: 980216
#   total CPU time (s): 3602.03
#   total CPU user time (s): 3593.76
#   total CPU system time (s): 8.27592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57901 second user time and 16.4919 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-19 01:14:09
IDJOB=4446946
IDBENCH=158340
IDSOLVER=3060
FILE ID=nodeC027/4446946-1721344437
RUNJOBID= nodeC027-1721340837-978137
SLURM_JOB_ID= 7542727
Free space on /tmp= 890064 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446946-1721344437/watcher-4446946-1721344437 -o /tmp/evaluation-result-4446946-1721344437/solver-4446946-1721344437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721340837-978137 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1255786755 HOME/instance-4446946-1721344437.opb

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

MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1
RANDOM SEED=1255786755

nodeC027.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		: 3662.198
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.36
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		: 3679.069
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	: 7006.29
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		: 3647.665
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.36
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.779
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	: 7006.29
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		: 3657.058
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.36
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		: 3679.186
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	: 7006.29
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		: 3608.728
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.36
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.524
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	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128016220 kB
MemAvailable:   129551624 kB
Buffers:          498072 kB
Cached:          1868448 kB
SwapCached:            0 kB
Active:           921852 kB
Inactive:        1970188 kB
Active(anon):       1576 kB
Inactive(anon):   561344 kB
Active(file):     920276 kB
Inactive(file):  1408844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             27848 kB
Writeback:             0 kB
AnonPages:        523360 kB
Mapped:           120100 kB
Shmem:             37720 kB
KReclaimable:      92216 kB
Slab:             202692 kB
SReclaimable:      92216 kB
SUnreclaim:       110476 kB
KernelStack:        4140 kB
PageTables:         9988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     737824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68352 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC027 at 2024-07-19 02:14:23