Trace number 4447978

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 3609.11

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
MD5SUM1a042d5fcb76a110c048c575a59fde0e
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 benchmark23.1617
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables801
Total number of constraints1118
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1116
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 6
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/3609.11	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 (58894 MiB free)
  memory of node 1: 64510 MiB (61536 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=981261, runsolver pid=981258
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 4.11 4.14 4.10 5/245 981262
/proc/meminfo: memFree=123315860/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=22544 memory=8600 CPUtime=0.1 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 1270 0 0 0 10 0 0 0 20 0 1 0 185996843 23085056 2150 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 5636 2150 1146 2726 0 2384 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22544 KiB
Current children cumulated memory: 8600 KiB

[startup+0.2129 s]*
/proc/loadavg: 4.11 4.14 4.10 5/245 981262
/proc/meminfo: memFree=123315708/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=22808 memory=8672 CPUtime=0.21 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 1525 0 0 0 21 0 0 0 20 0 1 0 185996843 23355392 2168 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 5702 2168 1146 2726 0 2450 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22808 KiB
Current children cumulated memory: 8672 KiB

[startup+0.312256 s]*
/proc/loadavg: 4.11 4.14 4.10 5/245 981262
/proc/meminfo: memFree=123315376/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=22888 memory=8868 CPUtime=0.31 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 1799 0 0 0 31 0 0 0 20 0 1 0 185996843 23437312 2217 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 5722 2217 1146 2726 0 2470 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 22888 KiB
Current children cumulated memory: 8868 KiB

[startup+0.700278 s]
/proc/loadavg: 4.11 4.14 4.10 5/245 981262
/proc/meminfo: memFree=123315040/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=23748 memory=9616 CPUtime=0.68 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 2472 0 0 0 68 0 0 0 20 0 1 0 185996843 24317952 2404 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 5937 2404 1146 2726 0 2685 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23748 KiB
Current children cumulated memory: 9616 KiB

[startup+1.50028 s]
/proc/loadavg: 4.11 4.14 4.10 5/245 981262
/proc/meminfo: memFree=123314020/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=24664 memory=10456 CPUtime=1.48 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 4229 0 0 0 147 1 0 0 20 0 1 0 185996843 25255936 2614 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 6166 2614 1146 2726 0 2914 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 24664 KiB
Current children cumulated memory: 10456 KiB

[startup+3.11263 s]
/proc/loadavg: 4.11 4.14 4.10 5/245 981262
/proc/meminfo: memFree=123310944/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=28744 memory=14740 CPUtime=3.1 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 7678 0 0 0 308 2 0 0 20 0 1 0 185996843 29433856 3685 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 7186 3685 1146 2726 0 3934 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 14740 KiB

[startup+6.30026 s]
/proc/loadavg: 4.11 4.14 4.10 5/245 981262
/proc/meminfo: memFree=123305044/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=32984 memory=18828 CPUtime=6.27 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 15021 0 0 0 624 3 0 0 20 0 1 0 185996843 33775616 4707 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 8246 4707 1146 2726 0 4994 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32984 KiB
Current children cumulated memory: 18828 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.14 4.10 5/245 981264
/proc/meminfo: memFree=123290160/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=39564 memory=25568 CPUtime=12.65 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 22051 0 0 0 1261 4 0 0 20 0 1 0 185996843 40513536 6392 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 9891 6392 1146 2726 0 6639 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 39564 KiB
Current children cumulated memory: 25568 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.16 4.11 5/245 981265
/proc/meminfo: memFree=123280448/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=46124 memory=31828 CPUtime=25.41 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 30094 0 0 0 2535 6 0 0 20 0 1 0 185996843 47230976 7957 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 11531 7957 1146 2726 0 8279 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 46124 KiB
Current children cumulated memory: 31828 KiB

[startup+51.1126 s]
/proc/loadavg: 4.21 4.16 4.11 5/244 981270
/proc/meminfo: memFree=123283304/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=58864 memory=44816 CPUtime=50.95 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 40413 0 0 0 5086 9 0 0 20 0 1 0 185996843 60276736 11204 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 14716 11204 1146 2726 0 11464 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 58864 KiB
Current children cumulated memory: 44816 KiB

[startup+102.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/244 981280
/proc/meminfo: memFree=123246608/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=82816 memory=68744 CPUtime=102.01 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 52820 0 0 0 10188 13 0 0 20 0 1 0 185996843 84803584 17186 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 20704 17186 1146 2726 0 17452 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 82816 KiB
Current children cumulated memory: 68744 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/242 981291
/proc/meminfo: memFree=123260436/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=76892 memory=62896 CPUtime=161.83 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 69693 0 0 0 16162 21 0 0 20 0 1 0 185996843 78737408 15724 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 19223 15724 1146 2726 0 15971 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 76892 KiB
Current children cumulated memory: 62896 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/242 981301
/proc/meminfo: memFree=123253420/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=90784 memory=74468 CPUtime=221.66 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 88225 0 0 0 22137 29 0 0 20 0 1 0 185996843 92962816 18617 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 22696 18617 1146 2726 0 19444 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 90784 KiB
Current children cumulated memory: 74468 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/242 981311
/proc/meminfo: memFree=123218512/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=72104 memory=58236 CPUtime=281.49 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 100847 0 0 0 28114 35 0 0 20 0 1 0 185996843 73834496 14559 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 18026 14559 1146 2726 0 14774 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 72104 KiB
Current children cumulated memory: 58236 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/241 981321
/proc/meminfo: memFree=123220544/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=98500 memory=83660 CPUtime=341.33 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 119969 0 0 0 34089 44 0 0 20 0 1 0 185996843 100864000 20915 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 24625 20915 1146 2726 0 21373 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 98500 KiB
Current children cumulated memory: 83660 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/241 981332
/proc/meminfo: memFree=123234344/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=111332 memory=97336 CPUtime=401.18 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 128158 0 0 0 40070 48 0 0 20 0 1 0 185996843 114003968 24334 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 27833 24334 1146 2726 0 24581 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 111332 KiB
Current children cumulated memory: 97336 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/244 981347
/proc/meminfo: memFree=123228116/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=122056 memory=108060 CPUtime=461.03 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 130113 0 0 0 46054 49 0 0 20 0 1 0 185996843 124985344 27015 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 30514 27015 1146 2726 0 27262 0

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

Current children cumulated memory: 238716 KiB

[startup+2922.3 s]
/proc/loadavg: 2.20 2.81 3.28 3/230 982954
/proc/meminfo: memFree=123412800/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=163548 memory=149552 CPUtime=2914.91 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 248279 0 0 0 291338 153 0 0 20 0 1 0 185996843 167473152 37388 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 40887 37388 1146 2726 0 37635 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 163548 KiB
Current children cumulated memory: 149552 KiB

[startup+2982.3 s]
/proc/loadavg: 2.11 2.67 3.21 3/231 982967
/proc/meminfo: memFree=123398780/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=178448 memory=164432 CPUtime=2974.75 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 250892 0 0 0 297318 157 0 0 20 0 1 0 185996843 182730752 41108 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 44612 41108 1146 2726 0 41360 0
Current children cumulated CPU time: 2974.75 s
Current children cumulated vsize: 178448 KiB
Current children cumulated memory: 164432 KiB

[startup+3042.3 s]
/proc/loadavg: 2.19 2.59 3.14 3/231 982977
/proc/meminfo: memFree=123357364/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=219564 memory=205396 CPUtime=3034.59 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 252958 0 0 0 303299 160 0 0 20 0 1 0 185996843 224833536 51349 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 54891 51349 1146 2726 0 51639 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 219564 KiB
Current children cumulated memory: 205396 KiB

[startup+3102.3 s]
/proc/loadavg: 2.12 2.50 3.07 3/231 982988
/proc/meminfo: memFree=123415372/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=156536 memory=141740 CPUtime=3094.44 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 256112 0 0 0 309278 166 0 0 20 0 1 0 185996843 160292864 35435 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 39134 35435 1146 2726 0 35882 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 156536 KiB
Current children cumulated memory: 141740 KiB

[startup+3162.3 s]
/proc/loadavg: 2.15 2.44 3.01 3/229 983382
/proc/meminfo: memFree=123395856/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=174712 memory=160368 CPUtime=3154.27 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 260555 0 0 0 315255 172 0 0 20 0 1 0 185996843 178905088 40092 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 43678 40092 1146 2726 0 40426 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 174712 KiB
Current children cumulated memory: 160368 KiB

[startup+3222.3 s]
/proc/loadavg: 1.96 2.34 2.94 2/222 983423
/proc/meminfo: memFree=123512084/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=177012 memory=162668 CPUtime=3214.12 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 264216 0 0 0 321232 180 0 0 20 0 1 0 185996843 181260288 40667 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 44253 40667 1146 2726 0 41001 0
Current children cumulated CPU time: 3214.12 s
Current children cumulated vsize: 177012 KiB
Current children cumulated memory: 162668 KiB

[startup+3282.3 s]
/proc/loadavg: 1.39 2.11 2.82 2/222 983434
/proc/meminfo: memFree=123515676/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=173292 memory=159024 CPUtime=3273.98 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 267219 0 0 0 327211 187 0 0 20 0 1 0 185996843 177451008 39756 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 43323 39756 1146 2726 0 40071 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 173292 KiB
Current children cumulated memory: 159024 KiB

[startup+3342.3 s]
/proc/loadavg: 1.24 1.93 2.72 2/222 983613
/proc/meminfo: memFree=123515292/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=172936 memory=158940 CPUtime=3333.85 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 271560 0 0 0 333190 195 0 0 20 0 1 0 185996843 177086464 39735 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 43234 39735 1146 2726 0 39982 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 172936 KiB
Current children cumulated memory: 158940 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.77 2.61 2/222 983624
/proc/meminfo: memFree=123515256/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=173308 memory=159312 CPUtime=3393.71 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 275040 0 0 0 339169 202 0 0 20 0 1 0 185996843 177467392 39828 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 43327 39828 1146 2726 0 40075 0
Current children cumulated CPU time: 3393.71 s
Current children cumulated vsize: 173308 KiB
Current children cumulated memory: 159312 KiB

[startup+3462.3 s]
/proc/loadavg: 1.17 1.66 2.52 2/226 983695
/proc/meminfo: memFree=123508668/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=179348 memory=165352 CPUtime=3453.58 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 278592 0 0 0 345150 208 0 0 20 0 1 0 185996843 183652352 41338 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 44837 41338 1146 2726 0 41585 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 179348 KiB
Current children cumulated memory: 165352 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.56 2.43 2/226 983705
/proc/meminfo: memFree=123501764/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=186144 memory=172148 CPUtime=3513.45 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 282016 0 0 0 351130 215 0 0 20 0 1 0 185996843 190611456 43037 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 46536 43037 1146 2726 0 43284 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 186144 KiB
Current children cumulated memory: 172148 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.47 2.34 2/226 983716
/proc/meminfo: memFree=123508792/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=178864 memory=164868 CPUtime=3573.31 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 285321 0 0 0 357110 221 0 0 20 0 1 0 185996843 183156736 41217 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 44716 41217 1146 2726 0 41464 0
Current children cumulated CPU time: 3573.31 s
Current children cumulated vsize: 178864 KiB
Current children cumulated memory: 164868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 1.11 1.44 2.31 2/226 983720
/proc/meminfo: memFree=123507824/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=179412 memory=165416 CPUtime=3600.07 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 286907 0 0 0 359782 225 0 0 20 0 1 0 185996843 183717888 41354 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 44853 41354 1146 2726 0 41601 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 179412 KiB
Current children cumulated memory: 165416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.82 s, system=2.25705 s

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

[startup+3609.11 s]
/proc/loadavg: 1.11 1.44 2.31 2/226 983720
/proc/meminfo: memFree=123507824/131655788 swapFree=131071996/131071996
[pid=981261] ppid=981258 vsize=179412 memory=165416 CPUtime=3600.07 cores=5,7
/proc/981261/stat : 981261 (CASHWMaxSAT-Dis) R 981258 981261 974429 0 -1 4194304 286907 0 0 0 359782 225 0 0 20 0 1 0 185996843 183717888 41354 134679101440 4194304 15356333 140733986522288 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44957696 140733986526178 140733986526294 140733986526294 140733986533310 0
/proc/981261/statm: 44853 41354 1146 2726 0 41601 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 179412 KiB
Current children cumulated memory: 165416 KiB

Child status: 0

Real time (s): 3609.11
CPU time (s): 3600.08
CPU user time (s): 3597.82
CPU system time (s): 2.25705
CPU usage (%): 99.7497
Max. virtual memory (cumulated for all children) (KiB): 252924
Max. memory (cumulated for all children) (KiB): 238716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.82
system time used= 2.25705
maximum resident set size= 238716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286907
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= 62
involuntary context switches= 2077


# summary of solver processes directly reported to runsolver:
#   pid: 981261
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3597.82
#   total CPU system time (s): 2.25705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6517 second user time and 34.8717 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-18 23:33:13
IDJOB=4447978
IDBENCH=160354
IDSOLVER=3074
FILE ID=nodeC006/4447978-1721338381
RUNJOBID= nodeC006-1721329092-974480
SLURM_JOB_ID= 7542692
Free space on /tmp= 723732 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.cnf-extracted.pb.metafix.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-4447978-1721338381/watcher-4447978-1721338381 -o /tmp/evaluation-result-4447978-1721338381/solver-4447978-1721338381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721329092-974480 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4447978-1721338381.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 1a042d5fcb76a110c048c575a59fde0e
RANDOM SEED=1203272470

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		: 3671.672
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		: 3663.644
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.491
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.416
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		: 3671.663
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		: 1197.256
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.525
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.250
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:        123320972 kB
MemAvailable:   129580984 kB
Buffers:          510684 kB
Cached:          6510604 kB
SwapCached:            0 kB
Active:           987404 kB
Inactive:        6624896 kB
Active(anon):       1468 kB
Inactive(anon):   627288 kB
Active(file):     985936 kB
Inactive(file):  5997608 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14708 kB
Writeback:             8 kB
AnonPages:        585592 kB
Mapped:           119180 kB
Shmem:             37704 kB
KReclaimable:     233000 kB
Slab:             351696 kB
SReclaimable:     233000 kB
SUnreclaim:       118696 kB
KernelStack:        3952 kB
PageTables:        10008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     944552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59040 kB
HardwareCorrupted:     0 kB
AnonHugePages:    425984 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= 723764 MiB
End job on nodeC006 at 2024-07-19 00:33:23