Trace number 4453368

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.08 3610.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-30.shuf-2.opb
MD5SUMcf304571e02e93b9f1adea6ee5377cb9
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.001778
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables121
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)11
Number of constraints which are nor clauses,nor cardinality constraints49
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/3610.01	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 (62481 MiB free)
  memory of node 1: 64510 MiB (61221 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1054937, runsolver pid=1054934

[startup+0.100101 s]*
/proc/loadavg: 4.15 4.21 4.18 5/246 1054938
/proc/meminfo: memFree=126669996/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=20196 memory=6444 CPUtime=0.11 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 744 0 0 0 11 0 0 0 20 0 1 0 197380795 20680704 1611 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 5049 1611 1146 2726 0 1797 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 20196 KiB
Current children cumulated memory: 6444 KiB

[startup+0.21292 s]*
/proc/loadavg: 4.15 4.21 4.18 5/246 1054938
/proc/meminfo: memFree=126669156/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=20848 memory=7120 CPUtime=0.22 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 1145 0 0 0 22 0 0 0 20 0 1 0 197380795 21348352 1780 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 5212 1780 1146 2726 0 1960 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 20848 KiB
Current children cumulated memory: 7120 KiB

[startup+0.312996 s]*
/proc/loadavg: 4.15 4.21 4.18 5/246 1054938
/proc/meminfo: memFree=126665980/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=21052 memory=7036 CPUtime=0.32 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 1268 0 0 0 32 0 0 0 20 0 1 0 197380795 21557248 1759 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 5263 1759 1146 2726 0 2011 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 21052 KiB
Current children cumulated memory: 7036 KiB

[startup+0.700329 s]
/proc/loadavg: 4.15 4.21 4.18 5/246 1054938
/proc/meminfo: memFree=126664844/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=22088 memory=8172 CPUtime=0.69 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 1794 0 0 0 69 0 0 0 20 0 1 0 197380795 22618112 2043 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 5522 2043 1146 2726 0 2270 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22088 KiB
Current children cumulated memory: 8172 KiB

[startup+1.50033 s]
/proc/loadavg: 4.15 4.21 4.18 5/246 1054940
/proc/meminfo: memFree=126663972/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=24028 memory=9900 CPUtime=1.48 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 3543 0 0 0 148 0 0 0 20 0 1 0 197380795 24604672 2475 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 6007 2475 1146 2726 0 2755 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 24028 KiB
Current children cumulated memory: 9900 KiB

[startup+3.11279 s]
/proc/loadavg: 4.14 4.20 4.18 5/246 1054940
/proc/meminfo: memFree=126653332/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=24412 memory=10344 CPUtime=3.1 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 5650 0 0 0 309 1 0 0 20 0 1 0 197380795 24997888 2586 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 6103 2586 1146 2726 0 2851 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 24412 KiB
Current children cumulated memory: 10344 KiB

[startup+6.30031 s]
/proc/loadavg: 4.14 4.20 4.18 5/246 1054940
/proc/meminfo: memFree=126656608/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=28116 memory=13964 CPUtime=6.27 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 10221 0 0 0 626 1 0 0 20 0 1 0 197380795 28790784 3491 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 7029 3491 1146 2726 0 3777 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 28116 KiB
Current children cumulated memory: 13964 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.20 4.18 5/246 1054987
/proc/meminfo: memFree=126824552/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=31196 memory=17256 CPUtime=12.65 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 21801 0 0 0 1262 3 0 0 20 0 1 0 197380795 31944704 4314 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 7799 4314 1146 2726 0 4547 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 31196 KiB
Current children cumulated memory: 17256 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.19 4.18 5/246 1054989
/proc/meminfo: memFree=126823444/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=36600 memory=21880 CPUtime=25.42 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 27626 0 0 0 2538 4 0 0 20 0 1 0 197380795 37478400 5470 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 9150 5470 1146 2726 0 5898 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 36600 KiB
Current children cumulated memory: 21880 KiB

[startup+51.1129 s]
/proc/loadavg: 4.20 4.21 4.18 5/246 1054993
/proc/meminfo: memFree=126778924/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=44880 memory=31016 CPUtime=50.95 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 38993 0 0 0 5089 6 0 0 20 0 1 0 197380795 45957120 7754 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 11220 7754 1146 2726 0 7968 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 44880 KiB
Current children cumulated memory: 31016 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/246 1055003
/proc/meminfo: memFree=126759244/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=41016 memory=27244 CPUtime=101.99 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 45940 0 0 0 10192 7 0 0 20 0 1 0 197380795 42000384 6811 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 10254 6811 1146 2726 0 7002 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 41016 KiB
Current children cumulated memory: 27244 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.20 4.18 5/246 1055013
/proc/meminfo: memFree=126719736/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=57268 memory=42728 CPUtime=161.84 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 56141 0 0 0 16174 10 0 0 20 0 1 0 197380795 58642432 10682 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 14317 10682 1146 2726 0 11065 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 57268 KiB
Current children cumulated memory: 42728 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/246 1055023
/proc/meminfo: memFree=126728556/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=60448 memory=46492 CPUtime=221.68 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 68415 0 0 0 22154 14 0 0 20 0 1 0 197380795 61898752 11623 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 15112 11623 1146 2726 0 11860 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 60448 KiB
Current children cumulated memory: 46492 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/242 1055034
/proc/meminfo: memFree=126696084/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=69028 memory=55240 CPUtime=281.52 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 78338 0 0 0 28135 17 0 0 20 0 1 0 197380795 70684672 13810 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 17257 13810 1146 2726 0 14005 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 69028 KiB
Current children cumulated memory: 55240 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/243 1055046
/proc/meminfo: memFree=126658124/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=68432 memory=54848 CPUtime=341.36 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 81589 0 0 0 34118 18 0 0 20 0 1 0 197380795 70074368 13712 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 17108 13712 1146 2726 0 13856 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 68432 KiB
Current children cumulated memory: 54848 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/243 1055056
/proc/meminfo: memFree=126623692/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=66992 memory=53136 CPUtime=401.2 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 84267 0 0 0 40101 19 0 0 20 0 1 0 197380795 68599808 13284 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 16748 13284 1146 2726 0 13496 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 66992 KiB
Current children cumulated memory: 53136 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/243 1055066
/proc/meminfo: memFree=126621828/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=66992 memory=53136 CPUtime=461.03 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 84289 0 0 0 46084 19 0 0 20 0 1 0 197380795 68599808 13284 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 16748 13284 1146 2726 0 13496 0

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

Current children cumulated memory: 128740 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/247 1056677
/proc/meminfo: memFree=126455984/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=142452 memory=128740 CPUtime=2854.34 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 163516 0 0 0 285376 58 0 0 20 0 1 0 197380795 145870848 32185 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 35613 32185 1146 2726 0 32361 0
Current children cumulated CPU time: 2854.34 s
Current children cumulated vsize: 142452 KiB
Current children cumulated memory: 128740 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/247 1056689
/proc/meminfo: memFree=126447192/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=142452 memory=128740 CPUtime=2914.18 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 163560 0 0 0 291360 58 0 0 20 0 1 0 197380795 145870848 32185 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 35613 32185 1146 2726 0 32361 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 142452 KiB
Current children cumulated memory: 128740 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/248 1056702
/proc/meminfo: memFree=126438812/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=137012 memory=123264 CPUtime=2974.02 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 164602 0 0 0 297343 59 0 0 20 0 1 0 197380795 140300288 30816 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 34253 30816 1146 2726 0 31001 0
Current children cumulated CPU time: 2974.02 s
Current children cumulated vsize: 137012 KiB
Current children cumulated memory: 123264 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/247 1056723
/proc/meminfo: memFree=126416680/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=137012 memory=123264 CPUtime=3033.86 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 164657 0 0 0 303327 59 0 0 20 0 1 0 197380795 140300288 30816 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 34253 30816 1146 2726 0 31001 0
Current children cumulated CPU time: 3033.86 s
Current children cumulated vsize: 137012 KiB
Current children cumulated memory: 123264 KiB

[startup+3102.3 s]
/proc/loadavg: 4.56 4.22 4.18 5/247 1056735
/proc/meminfo: memFree=126388776/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=160812 memory=147000 CPUtime=3093.7 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 165543 0 0 0 309311 59 0 0 20 0 1 0 197380795 164671488 36750 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 40203 36750 1146 2726 0 36951 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 160812 KiB
Current children cumulated memory: 147000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.44 4.27 4.20 5/244 1056745
/proc/meminfo: memFree=126447672/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=138536 memory=124780 CPUtime=3153.55 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 166552 0 0 0 315294 61 0 0 20 0 1 0 197380795 141860864 31195 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 34634 31195 1146 2726 0 31382 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 138536 KiB
Current children cumulated memory: 124780 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.25 4.19 5/244 1056755
/proc/meminfo: memFree=126451824/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=138536 memory=124780 CPUtime=3213.4 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 166598 0 0 0 321279 61 0 0 20 0 1 0 197380795 141860864 31195 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 34634 31195 1146 2726 0 31382 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 138536 KiB
Current children cumulated memory: 124780 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/245 1056767
/proc/meminfo: memFree=126433744/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=139980 memory=126264 CPUtime=3273.24 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 167014 0 0 0 327263 61 0 0 20 0 1 0 197380795 143339520 31566 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 34995 31566 1146 2726 0 31743 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 139980 KiB
Current children cumulated memory: 126264 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.24 4.19 5/243 1056778
/proc/meminfo: memFree=126387820/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=139980 memory=126264 CPUtime=3333.09 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 167064 0 0 0 333248 61 0 0 20 0 1 0 197380795 143339520 31566 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 34995 31566 1146 2726 0 31743 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 139980 KiB
Current children cumulated memory: 126264 KiB

[startup+3402.3 s]
/proc/loadavg: 4.77 4.39 4.25 5/243 1056788
/proc/meminfo: memFree=126382996/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=143436 memory=129692 CPUtime=3392.93 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 167989 0 0 0 339232 61 0 0 20 0 1 0 197380795 146878464 32423 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 35859 32423 1146 2726 0 32607 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 143436 KiB
Current children cumulated memory: 129692 KiB

[startup+3462.3 s]
/proc/loadavg: 4.32 4.33 4.24 4/236 1056829
/proc/meminfo: memFree=126585304/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=143568 memory=129856 CPUtime=3452.78 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 168078 0 0 0 345217 61 0 0 20 0 1 0 197380795 147013632 32464 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 35892 32464 1146 2726 0 32640 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 143568 KiB
Current children cumulated memory: 129856 KiB

[startup+3522.3 s]
/proc/loadavg: 3.63 4.13 4.17 4/237 1056840
/proc/meminfo: memFree=126579212/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=143568 memory=129856 CPUtime=3512.62 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 168129 0 0 0 351201 61 0 0 20 0 1 0 197380795 147013632 32464 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 35892 32464 1146 2726 0 32640 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 143568 KiB
Current children cumulated memory: 129856 KiB

[startup+3582.3 s]
/proc/loadavg: 2.74 3.80 4.05 3/232 1056885
/proc/meminfo: memFree=126764860/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=143568 memory=129856 CPUtime=3572.44 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 168177 0 0 0 357183 61 0 0 20 0 1 0 197380795 147013632 32464 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 35892 32464 1146 2726 0 32640 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 143568 KiB
Current children cumulated memory: 129856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 2.51 3.64 3.99 3/232 1056890
/proc/meminfo: memFree=126765008/131655788 swapFree=131071996/131071996
[pid=1054937] ppid=1054934 vsize=143568 memory=129856 CPUtime=3600.07 cores=4,6
/proc/1054937/stat : 1054937 (CASHWMaxSAT-Dis) R 1054934 1054937 1050018 0 -1 4194304 168223 0 0 0 359946 61 0 0 20 0 1 0 197380795 147013632 32464 134679101440 4194304 15356333 140737254132688 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 33128448 140737254134753 140737254134869 140737254134869 140737254141886 0
/proc/1054937/statm: 35892 32464 1146 2726 0 32640 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 143568 KiB
Current children cumulated memory: 129856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.47 s, system=0.613985 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.08
CPU user time (s): 3599.47
CPU system time (s): 0.613985
CPU usage (%): 99.7249
Max. virtual memory (cumulated for all children) (KiB): 175152
Max. memory (cumulated for all children) (KiB): 159484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.47
system time used= 0.613985
maximum resident set size= 161292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168223
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= 39
involuntary context switches= 1941


# summary of solver processes directly reported to runsolver:
#   pid: 1054937
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.47
#   total CPU system time (s): 0.613985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9511 second user time and 34.9305 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-20 07:10:54
IDJOB=4453368
IDBENCH=175484
IDSOLVER=3074
FILE ID=nodeC007/4453368-1721452242
RUNJOBID= nodeC007-1721444801-1050029
SLURM_JOB_ID= 7545656
Free space on /tmp= 723740 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-30.shuf-2.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-4453368-1721452242/watcher-4453368-1721452242 -o /tmp/evaluation-result-4453368-1721452242/solver-4453368-1721452242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721444801-1050029 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4453368-1721452242.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= cf304571e02e93b9f1adea6ee5377cb9
RANDOM SEED=53873552

nodeC007.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		: 3504.864
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.25
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.541
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.30
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.271
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.25
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.221
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.30
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		: 3505.744
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.25
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		: 3635.278
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.30
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.136
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.25
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.319
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126672556 kB
MemAvailable:   129645688 kB
Buffers:          544204 kB
Cached:          3265064 kB
SwapCached:            0 kB
Active:          1107392 kB
Inactive:        3301788 kB
Active(anon):       1476 kB
Inactive(anon):   644324 kB
Active(file):    1105916 kB
Inactive(file):  2657464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14420 kB
Writeback:             0 kB
AnonPages:        599968 kB
Mapped:           121852 kB
Shmem:             45896 kB
KReclaimable:      99564 kB
Slab:             202956 kB
SReclaimable:      99564 kB
SUnreclaim:       103392 kB
KernelStack:        3916 kB
PageTables:        10476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     909756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC007 at 2024-07-20 08:11:04