Trace number 4446958

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
CASHWMaxSAT-DisjCad-SP 2024-07-10? (TO) 3600.11 3612.6

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 

3600.09/3612.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (58819 MiB free)
  memory of node 1: 64510 MiB (61301 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446958-1721334368/watcher-4446958-1721334368 -o /tmp/evaluation-result-4446958-1721334368/solver-4446958-1721334368 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721329092-974475 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4446958-1721334368.opb -total-t=3600 -no-par -v0 

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=978031, runsolver pid=978028

[startup+0.101071 s]*
/proc/loadavg: 4.13 4.12 4.09 5/243 978032
/proc/meminfo: memFree=122995340/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=28132 memory=12460 CPUtime=0.1 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 2785 0 0 0 9 1 0 0 20 0 1 0 185595553 28807168 3115 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 7033 3115 954 2726 0 3781 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28132 KiB
Current children cumulated memory: 12460 KiB

[startup+0.213072 s]*
/proc/loadavg: 4.13 4.12 4.09 5/243 978032
/proc/meminfo: memFree=122985516/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=38336 memory=22384 CPUtime=0.21 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 5148 0 0 0 20 1 0 0 20 0 1 0 185595553 39256064 5596 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 9584 5596 1066 2726 0 6332 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38336 KiB
Current children cumulated memory: 22384 KiB

[startup+0.312872 s]*
/proc/loadavg: 4.13 4.12 4.09 5/243 978032
/proc/meminfo: memFree=122984516/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=39028 memory=23476 CPUtime=0.31 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 5399 0 0 0 30 1 0 0 20 0 1 0 185595553 39964672 5869 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 9757 5869 1146 2726 0 6505 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39028 KiB
Current children cumulated memory: 23476 KiB

[startup+0.700325 s]
/proc/loadavg: 4.13 4.12 4.09 6/243 978032
/proc/meminfo: memFree=122983148/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=40172 memory=24892 CPUtime=0.68 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 5950 0 0 0 67 1 0 0 20 0 1 0 185595553 41136128 6223 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 10043 6223 1146 2726 0 6791 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 24892 KiB

[startup+1.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/243 978032
/proc/meminfo: memFree=122952484/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=70396 memory=55036 CPUtime=1.48 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 14988 0 0 0 145 3 0 0 20 0 1 0 185595553 72085504 13759 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 17599 13759 1146 2726 0 14347 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70396 KiB
Current children cumulated memory: 55036 KiB

[startup+3.11276 s]
/proc/loadavg: 4.12 4.12 4.09 5/243 978032
/proc/meminfo: memFree=122950724/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=72104 memory=56948 CPUtime=3.09 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 16173 0 0 0 306 3 0 0 20 0 1 0 185595553 73834496 14237 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 18026 14237 1146 2726 0 14774 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72104 KiB
Current children cumulated memory: 56948 KiB

[startup+6.30031 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 978032
/proc/meminfo: memFree=122949772/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=78088 memory=61432 CPUtime=6.26 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 17309 0 0 0 623 3 0 0 20 0 1 0 185595553 79962112 15358 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 19522 15358 1146 2726 0 16270 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 78088 KiB
Current children cumulated memory: 61432 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.09 5/243 978034
/proc/meminfo: memFree=122878564/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=79344 memory=63808 CPUtime=12.65 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 17954 0 0 0 1261 4 0 0 20 0 1 0 185595553 81248256 15952 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 19836 15952 1146 2726 0 16584 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 79344 KiB
Current children cumulated memory: 63808 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 978035
/proc/meminfo: memFree=122920564/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=90092 memory=74676 CPUtime=25.4 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 19134 0 0 0 2536 4 0 0 20 0 1 0 185595553 92254208 18669 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 22523 18669 1146 2726 0 19271 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 90092 KiB
Current children cumulated memory: 74676 KiB

[startup+51.1127 s]
/proc/loadavg: 4.10 4.11 4.09 5/243 978040
/proc/meminfo: memFree=122921548/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=80220 memory=64848 CPUtime=50.92 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 25178 0 0 0 5087 5 0 0 20 0 1 0 185595553 82145280 16212 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 20055 16212 1146 2726 0 16803 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 80220 KiB
Current children cumulated memory: 64848 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/243 978049
/proc/meminfo: memFree=122869548/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=102244 memory=86840 CPUtime=101.93 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 27631 0 0 0 10187 6 0 0 20 0 1 0 185595553 104697856 21710 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 25561 21710 1146 2726 0 22309 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 102244 KiB
Current children cumulated memory: 86840 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/243 978227
/proc/meminfo: memFree=122836916/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=96240 memory=80880 CPUtime=161.71 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 34848 0 0 0 16163 8 0 0 20 0 1 0 185595553 98549760 20220 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 24060 20220 1146 2726 0 20808 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 96240 KiB
Current children cumulated memory: 80880 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/243 978238
/proc/meminfo: memFree=122854636/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=93200 memory=78128 CPUtime=221.49 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 37650 0 0 0 22140 9 0 0 20 0 1 0 185595553 95436800 19532 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 23300 19532 1146 2726 0 20048 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 93200 KiB
Current children cumulated memory: 78128 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/245 978398
/proc/meminfo: memFree=122840916/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=134980 memory=120268 CPUtime=281.26 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 43120 0 0 0 28115 11 0 0 20 0 1 0 185595553 138219520 30067 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 33745 30067 1146 2726 0 30493 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 134980 KiB
Current children cumulated memory: 120268 KiB

[startup+342.3 s]
/proc/loadavg: 4.27 4.18 4.11 5/244 978729
/proc/meminfo: memFree=122792804/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=160924 memory=145472 CPUtime=341.05 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 49876 0 0 0 34090 15 0 0 20 0 1 0 185595553 164786176 36368 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 40231 36368 1146 2726 0 36979 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 160924 KiB
Current children cumulated memory: 145472 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/247 978837
/proc/meminfo: memFree=122767164/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=160924 memory=146212 CPUtime=400.86 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 50056 0 0 0 40071 15 0 0 20 0 1 0 185595553 164786176 36553 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 40231 36553 1146 2726 0 36979 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 160924 KiB
Current children cumulated memory: 146212 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/247 978847
/proc/meminfo: memFree=122714380/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=165436 memory=150724 CPUtime=460.65 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 51539 0 0 0 46050 15 0 0 20 0 1 0 185595553 169406464 37681 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 41359 37681 1146 2726 0 38107 0

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

Current children cumulated memory: 227600 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/244 979941
/proc/meminfo: memFree=122713072/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=244924 memory=230212 CPUtime=2852.54 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 120974 0 0 0 285155 99 0 0 20 0 1 0 185595553 250802176 57553 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 61231 57553 1146 2726 0 57979 0
Current children cumulated CPU time: 2852.54 s
Current children cumulated vsize: 244924 KiB
Current children cumulated memory: 230212 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/244 979952
/proc/meminfo: memFree=122739732/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=245268 memory=230556 CPUtime=2912.34 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 121171 0 0 0 291135 99 0 0 20 0 1 0 185595553 251154432 57639 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 61317 57639 1146 2726 0 58065 0
Current children cumulated CPU time: 2912.34 s
Current children cumulated vsize: 245268 KiB
Current children cumulated memory: 230556 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.11 4.11 5/241 979964
/proc/meminfo: memFree=122729776/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=245268 memory=230556 CPUtime=2972.14 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 121268 0 0 0 297115 99 0 0 20 0 1 0 185595553 251154432 57639 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 61317 57639 1146 2726 0 58065 0
Current children cumulated CPU time: 2972.14 s
Current children cumulated vsize: 245268 KiB
Current children cumulated memory: 230556 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/241 979974
/proc/meminfo: memFree=122723840/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=245268 memory=230556 CPUtime=3031.94 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 121362 0 0 0 303095 99 0 0 20 0 1 0 185595553 251154432 57639 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 61317 57639 1146 2726 0 58065 0
Current children cumulated CPU time: 3031.94 s
Current children cumulated vsize: 245268 KiB
Current children cumulated memory: 230556 KiB

[startup+3102.3 s]
/proc/loadavg: 4.38 4.17 4.12 5/241 980030
/proc/meminfo: memFree=123016608/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=248596 memory=233884 CPUtime=3091.72 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 122290 0 0 0 309073 99 0 0 20 0 1 0 185595553 254562304 58471 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 62149 58471 1146 2726 0 58897 0
Current children cumulated CPU time: 3091.72 s
Current children cumulated vsize: 248596 KiB
Current children cumulated memory: 233884 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/241 980040
/proc/meminfo: memFree=122996524/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=250112 memory=235172 CPUtime=3151.49 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 122704 0 0 0 315050 99 0 0 20 0 1 0 185595553 256114688 58793 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 62528 58793 1146 2726 0 59276 0
Current children cumulated CPU time: 3151.49 s
Current children cumulated vsize: 250112 KiB
Current children cumulated memory: 235172 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.12 5/241 980097
/proc/meminfo: memFree=123016660/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=250112 memory=235400 CPUtime=3211.26 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 122811 0 0 0 321027 99 0 0 20 0 1 0 185595553 256114688 58850 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 62528 58850 1146 2726 0 59276 0
Current children cumulated CPU time: 3211.26 s
Current children cumulated vsize: 250112 KiB
Current children cumulated memory: 235400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/242 980110
/proc/meminfo: memFree=123049732/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=250112 memory=235400 CPUtime=3271.03 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 122922 0 0 0 327004 99 0 0 20 0 1 0 185595553 256114688 58850 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 62528 58850 1146 2726 0 59276 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 250112 KiB
Current children cumulated memory: 235400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/242 980120
/proc/meminfo: memFree=122998396/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=252188 memory=237296 CPUtime=3330.8 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 123550 0 0 0 332981 99 0 0 20 0 1 0 185595553 258240512 59324 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 63047 59324 1146 2726 0 59795 0
Current children cumulated CPU time: 3330.8 s
Current children cumulated vsize: 252188 KiB
Current children cumulated memory: 237296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/242 980131
/proc/meminfo: memFree=122979648/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=252188 memory=237476 CPUtime=3390.58 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 123647 0 0 0 338959 99 0 0 20 0 1 0 185595553 258240512 59369 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 63047 59369 1146 2726 0 59795 0
Current children cumulated CPU time: 3390.58 s
Current children cumulated vsize: 252188 KiB
Current children cumulated memory: 237476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/243 980142
/proc/meminfo: memFree=122964040/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=252732 memory=237812 CPUtime=3450.35 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 123892 0 0 0 344936 99 0 0 20 0 1 0 185595553 258797568 59453 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 63183 59453 1146 2726 0 59931 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 252732 KiB
Current children cumulated memory: 237812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/243 980153
/proc/meminfo: memFree=123032476/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=200460 memory=185876 CPUtime=3510.13 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 124542 0 0 0 350913 100 0 0 20 0 1 0 185595553 205271040 46469 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 50115 46469 1146 2726 0 46863 0
Current children cumulated CPU time: 3510.13 s
Current children cumulated vsize: 200460 KiB
Current children cumulated memory: 185876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/245 980548
/proc/meminfo: memFree=123001432/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=241744 memory=226820 CPUtime=3569.9 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 126221 0 0 0 356889 101 0 0 20 0 1 0 185595553 247545856 56705 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 60436 56705 1146 2726 0 57184 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 241744 KiB
Current children cumulated memory: 226820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.32 4.18 4.12 5/245 980553
/proc/meminfo: memFree=122991316/131655788 swapFree=131071996/131071996
[pid=978031] ppid=978028 vsize=241744 memory=227032 CPUtime=3600.09 cores=0,2
/proc/978031/stat : 978031 (CASHWMaxSAT-Dis) R 978028 978031 974429 0 -1 4194304 126324 0 0 0 359908 101 0 0 20 0 1 0 185595553 247545856 56758 134679101440 4194304 15356333 140726334081888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47501312 140726334088162 140726334088278 140726334088278 140726334095294 0
/proc/978031/statm: 60436 56758 1146 2726 0 57184 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 241744 KiB
Current children cumulated memory: 227032 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.08 s, system=1.02164 s

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

Child status: 0

Real time (s): 3612.6
CPU time (s): 3600.11
CPU user time (s): 3599.08
CPU system time (s): 1.02164
CPU usage (%): 99.6541
Max. virtual memory (cumulated for all children) (KiB): 380332
Max. memory (cumulated for all children) (KiB): 360036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.02164
maximum resident set size= 362348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126324
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= 53
involuntary context switches= 24659


# summary of solver processes directly reported to runsolver:
#   pid: 978031
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.08
#   total CPU system time (s): 1.02164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0744 second user time and 34.2167 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-18 22:26:20
IDJOB=4446958
IDBENCH=158340
IDSOLVER=3074
FILE ID=nodeC006/4446958-1721334368
RUNJOBID= nodeC006-1721329092-974475
SLURM_JOB_ID= 7542692
Free space on /tmp= 723732 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446958-1721334368/watcher-4446958-1721334368 -o /tmp/evaluation-result-4446958-1721334368/solver-4446958-1721334368 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721329092-974475 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4446958-1721334368.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1
RANDOM SEED=87824925

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.992
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3653.073
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.249
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.413
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3663.657
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3667.769
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.449
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.515
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123004304 kB
MemAvailable:   129244980 kB
Buffers:          507948 kB
Cached:          6494368 kB
SwapCached:            0 kB
Active:           987444 kB
Inactive:        6940676 kB
Active(anon):       1468 kB
Inactive(anon):   962364 kB
Active(file):     985976 kB
Inactive(file):  5978312 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14824 kB
Writeback:             0 kB
AnonPages:        924060 kB
Mapped:           119412 kB
Shmem:             37704 kB
KReclaimable:     232836 kB
Slab:             351480 kB
SReclaimable:     232836 kB
SUnreclaim:       118644 kB
KernelStack:        3916 kB
PageTables:        11048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1338272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    765952 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:      310088 kB
DirectMap2M:    40488960 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723720 MiB
End job on nodeC006 at 2024-07-18 23:26:33