Trace number 4450189

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-S 2024-07-10? (TO) 3600.1 3612.7

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
MD5SUM60aa0ac85dc632e57e54cb255f142331
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 variables4830
Total number of constraints15140
Number of constraints which are clauses15140
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 4
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.09/3612.70	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: 63968 MiB (62728 MiB free)
  memory of node 1: 64473 MiB (61218 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450189-1721406513/watcher-4450189-1721406513 -o /tmp/evaluation-result-4450189-1721406513/solver-4450189-1721406513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721403125-1013051 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4450189-1721406513.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
solver pid=1014966, runsolver pid=1014963
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.13 4.11 4.03 5/257 1014967
/proc/meminfo: memFree=126907112/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=32564 memory=18412 CPUtime=0.09 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 3832 0 0 0 9 0 0 0 20 0 1 0 192814811 33345536 4603 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 8141 4603 990 2594 0 5034 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 18412 KiB

[startup+0.205663 s]*
/proc/loadavg: 4.13 4.11 4.03 5/257 1014967
/proc/meminfo: memFree=126906300/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=33388 memory=19192 CPUtime=0.2 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 4389 0 0 0 20 0 0 0 20 0 1 0 192814811 34189312 4798 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 8347 4798 990 2594 0 5240 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 19192 KiB

[startup+0.305591 s]*
/proc/loadavg: 4.13 4.11 4.03 5/257 1014967
/proc/meminfo: memFree=126905768/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=33320 memory=19200 CPUtime=0.3 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 4866 0 0 0 30 0 0 0 20 0 1 0 192814811 34119680 4800 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 8330 4800 1006 2594 0 5223 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33320 KiB
Current children cumulated memory: 19200 KiB

[startup+0.700238 s]
/proc/loadavg: 4.13 4.11 4.03 5/257 1014967
/proc/meminfo: memFree=126904968/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=33884 memory=19952 CPUtime=0.68 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 5197 0 0 0 68 0 0 0 20 0 1 0 192814811 34697216 4988 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 8471 4988 1006 2594 0 5364 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 19952 KiB

[startup+1.50019 s]
/proc/loadavg: 4.13 4.11 4.03 5/257 1014967
/proc/meminfo: memFree=126905196/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=33476 memory=19712 CPUtime=1.49 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 6299 0 0 0 148 1 0 0 20 0 1 0 192814811 34279424 4928 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 8369 4928 1006 2594 0 5262 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33476 KiB
Current children cumulated memory: 19712 KiB

[startup+3.10587 s]
/proc/loadavg: 4.12 4.11 4.03 5/257 1014967
/proc/meminfo: memFree=126904280/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=34812 memory=20796 CPUtime=3.09 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 8047 0 0 0 308 1 0 0 20 0 1 0 192814811 35647488 5199 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 8703 5199 1006 2594 0 5596 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34812 KiB
Current children cumulated memory: 20796 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.11 4.03 5/259 1015138
/proc/meminfo: memFree=126901672/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=38292 memory=23932 CPUtime=6.27 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 11663 0 0 0 626 1 0 0 20 0 1 0 192814811 39211008 5983 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 9573 5983 1006 2594 0 6466 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 23932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.03 5/259 1015138
/proc/meminfo: memFree=126899944/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=37400 memory=23372 CPUtime=12.65 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 16428 0 0 0 1263 2 0 0 20 0 1 0 192814811 38297600 5843 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 9350 5843 1006 2594 0 6243 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 37400 KiB
Current children cumulated memory: 23372 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.03 5/259 1015141
/proc/meminfo: memFree=126906340/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=44376 memory=30088 CPUtime=25.41 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 21255 0 0 0 2538 3 0 0 20 0 1 0 192814811 45441024 7522 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 11094 7522 1006 2594 0 7987 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 44376 KiB
Current children cumulated memory: 30088 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.11 4.04 5/259 1015144
/proc/meminfo: memFree=126901948/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=44752 memory=30564 CPUtime=50.93 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 24840 0 0 0 5089 4 0 0 20 0 1 0 192814811 45826048 7641 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 11188 7641 1006 2594 0 8081 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 44752 KiB
Current children cumulated memory: 30564 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/259 1015153
/proc/meminfo: memFree=126898772/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=50816 memory=35840 CPUtime=101.94 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 38939 0 0 0 10186 8 0 0 20 0 1 0 192814811 52035584 8960 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 12704 8960 1006 2594 0 9597 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 50816 KiB
Current children cumulated memory: 35840 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/259 1015222
/proc/meminfo: memFree=126853796/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=56716 memory=42624 CPUtime=161.74 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 47992 0 0 0 16163 11 0 0 20 0 1 0 192814811 58077184 10656 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 14179 10656 1006 2594 0 11072 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 56716 KiB
Current children cumulated memory: 42624 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/259 1015324
/proc/meminfo: memFree=127258356/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=64852 memory=50736 CPUtime=221.55 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 51921 0 0 0 22142 13 0 0 20 0 1 0 192814811 66408448 12684 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 16213 12684 1006 2594 0 13106 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 64852 KiB
Current children cumulated memory: 50736 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/259 1015334
/proc/meminfo: memFree=127249732/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=77816 memory=63700 CPUtime=281.32 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 53636 0 0 0 28119 13 0 0 20 0 1 0 192814811 79683584 15925 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 19454 15925 1006 2594 0 16347 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 77816 KiB
Current children cumulated memory: 63700 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/257 1015346
/proc/meminfo: memFree=127209528/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=77816 memory=63768 CPUtime=341.1 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 53650 0 0 0 34096 14 0 0 20 0 1 0 192814811 79683584 15942 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 19454 15942 1006 2594 0 16347 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 77816 KiB
Current children cumulated memory: 63768 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.09 4.04 5/257 1015356
/proc/meminfo: memFree=127199444/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=75736 memory=61316 CPUtime=400.88 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 55358 0 0 0 40073 15 0 0 20 0 1 0 192814811 77553664 15329 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 18934 15329 1006 2594 0 15827 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 75736 KiB
Current children cumulated memory: 61316 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.05 4/251 1015747
/proc/meminfo: memFree=127370700/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=88356 memory=74584 CPUtime=460.68 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 57358 0 0 0 46051 17 0 0 20 0 1 0 192814811 90476544 18646 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 22089 18646 1006 2594 0 18982 0

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

Current children cumulated memory: 136372 KiB

[startup+2922.3 s]
/proc/loadavg: 4.31 4.21 4.13 5/257 1016838
/proc/meminfo: memFree=126879056/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=131096 memory=117244 CPUtime=2912.14 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 101908 0 0 0 291162 52 0 0 20 0 1 0 192814811 134242304 29311 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 32774 29311 1006 2594 0 29667 0
Current children cumulated CPU time: 2912.14 s
Current children cumulated vsize: 131096 KiB
Current children cumulated memory: 117244 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.19 4.12 5/256 1016850
/proc/meminfo: memFree=126854480/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=149004 memory=135232 CPUtime=2971.94 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 103094 0 0 0 297141 53 0 0 20 0 1 0 192814811 152580096 33808 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 37251 33808 1006 2594 0 34144 0
Current children cumulated CPU time: 2971.94 s
Current children cumulated vsize: 149004 KiB
Current children cumulated memory: 135232 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/254 1016860
/proc/meminfo: memFree=126835400/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=151180 memory=137328 CPUtime=3031.74 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 104153 0 0 0 303120 54 0 0 20 0 1 0 192814811 154808320 34332 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 37795 34332 1006 2594 0 34688 0
Current children cumulated CPU time: 3031.74 s
Current children cumulated vsize: 151180 KiB
Current children cumulated memory: 137328 KiB

[startup+3102.3 s]
/proc/loadavg: 3.98 4.13 4.11 4/247 1016901
/proc/meminfo: memFree=127054164/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=151180 memory=137428 CPUtime=3091.53 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 104215 0 0 0 309099 54 0 0 20 0 1 0 192814811 154808320 34357 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 37795 34357 1006 2594 0 34688 0
Current children cumulated CPU time: 3091.53 s
Current children cumulated vsize: 151180 KiB
Current children cumulated memory: 137428 KiB

[startup+3162.3 s]
/proc/loadavg: 3.41 3.94 4.04 4/250 1016917
/proc/meminfo: memFree=127151776/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=110684 memory=97060 CPUtime=3151.3 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 104776 0 0 0 315075 55 0 0 20 0 1 0 192814811 113340416 24265 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 27671 24265 1006 2594 0 24564 0
Current children cumulated CPU time: 3151.3 s
Current children cumulated vsize: 110684 KiB
Current children cumulated memory: 97060 KiB

[startup+3222.3 s]
/proc/loadavg: 3.26 3.80 3.98 4/250 1016927
/proc/meminfo: memFree=127081408/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=141800 memory=127032 CPUtime=3211.08 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 108757 0 0 0 321051 57 0 0 20 0 1 0 192814811 145203200 31758 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 35450 31758 1006 2594 0 32343 0
Current children cumulated CPU time: 3211.08 s
Current children cumulated vsize: 141800 KiB
Current children cumulated memory: 127032 KiB

[startup+3282.3 s]
/proc/loadavg: 3.15 3.66 3.92 4/251 1016938
/proc/meminfo: memFree=127035996/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=163324 memory=149308 CPUtime=3270.85 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 109197 0 0 0 327028 57 0 0 20 0 1 0 192814811 167243776 37327 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 40831 37327 1006 2594 0 37724 0
Current children cumulated CPU time: 3270.85 s
Current children cumulated vsize: 163324 KiB
Current children cumulated memory: 149308 KiB

[startup+3342.3 s]
/proc/loadavg: 3.10 3.56 3.87 4/251 1016950
/proc/meminfo: memFree=127060672/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=159772 memory=146020 CPUtime=3330.65 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 109666 0 0 0 333007 58 0 0 20 0 1 0 192814811 163606528 36505 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 39943 36505 1006 2594 0 36836 0
Current children cumulated CPU time: 3330.65 s
Current children cumulated vsize: 159772 KiB
Current children cumulated memory: 146020 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.48 3.82 4/251 1016960
/proc/meminfo: memFree=127031728/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=159772 memory=146020 CPUtime=3390.45 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 109734 0 0 0 338986 59 0 0 20 0 1 0 192814811 163606528 36505 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 39943 36505 1006 2594 0 36836 0
Current children cumulated CPU time: 3390.45 s
Current children cumulated vsize: 159772 KiB
Current children cumulated memory: 146020 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.41 3.78 4/249 1017352
/proc/meminfo: memFree=127054856/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=159772 memory=146020 CPUtime=3450.24 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 109797 0 0 0 344965 59 0 0 20 0 1 0 192814811 163606528 36505 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 39943 36505 1006 2594 0 36836 0
Current children cumulated CPU time: 3450.24 s
Current children cumulated vsize: 159772 KiB
Current children cumulated memory: 146020 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.36 3.73 4/249 1017362
/proc/meminfo: memFree=127063032/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=127008 memory=113384 CPUtime=3510.02 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 110480 0 0 0 350942 60 0 0 20 0 1 0 192814811 130056192 28346 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 31752 28346 1006 2594 0 28645 0
Current children cumulated CPU time: 3510.02 s
Current children cumulated vsize: 127008 KiB
Current children cumulated memory: 113384 KiB

[startup+3582.3 s]
/proc/loadavg: 3.18 3.33 3.70 4/249 1017373
/proc/meminfo: memFree=127038068/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=152276 memory=138164 CPUtime=3569.81 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 112148 0 0 0 356919 62 0 0 20 0 1 0 192814811 155930624 34541 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 38069 34541 1006 2594 0 34962 0
Current children cumulated CPU time: 3569.81 s
Current children cumulated vsize: 152276 KiB
Current children cumulated memory: 138164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 3.19 3.31 3.68 4/250 1017548
/proc/meminfo: memFree=127014188/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=173828 memory=159856 CPUtime=3600.09 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 112503 0 0 0 359947 62 0 0 20 0 1 0 192814811 177999872 39964 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 43457 39964 1006 2594 0 40350 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 173828 KiB
Current children cumulated memory: 159856 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.48 s, system=0.628866 s

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

[startup+3612.7 s]
/proc/loadavg: 3.19 3.31 3.68 4/250 1017548
/proc/meminfo: memFree=127014188/131524600 swapFree=131071996/131071996
[pid=1014966] ppid=1014963 vsize=173828 memory=159856 CPUtime=3600.09 cores=0,2
/proc/1014966/stat : 1014966 (CASHWMaxSAT-Dis) R 1014963 1014966 1011044 0 -1 4194304 112503 0 0 0 359947 62 0 0 20 0 1 0 192814811 177999872 39964 134679101440 4194304 14817773 140732820671952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 32210944 140732820677603 140732820677718 140732820677718 140732820684735 0
/proc/1014966/statm: 43457 39964 1006 2594 0 40350 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 173828 KiB
Current children cumulated memory: 159856 KiB

Child status: 0

Real time (s): 3612.7
CPU time (s): 3600.1
CPU user time (s): 3599.48
CPU system time (s): 0.628866
CPU usage (%): 99.6513
Max. virtual memory (cumulated for all children) (KiB): 173828
Max. memory (cumulated for all children) (KiB): 159856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 0.628866
maximum resident set size= 160032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112503
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= 24671


# summary of solver processes directly reported to runsolver:
#   pid: 1014966
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.48
#   total CPU system time (s): 0.628866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35532 second user time and 16.4932 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-19 18:28:46
IDJOB=4450189
IDBENCH=160409
IDSOLVER=3075
FILE ID=nodeC020/4450189-1721406513
RUNJOBID= nodeC020-1721403125-1013051
SLURM_JOB_ID= 7545442
Free space on /tmp= 890040 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450189-1721406513/watcher-4450189-1721406513 -o /tmp/evaluation-result-4450189-1721406513/solver-4450189-1721406513 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721403125-1013051 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4450189-1721406513.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=704847562

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126922284 kB
MemAvailable:   129047192 kB
Buffers:          530636 kB
Cached:          2420868 kB
SwapCached:            0 kB
Active:           907296 kB
Inactive:        3043644 kB
Active(anon):       1568 kB
Inactive(anon):  1043772 kB
Active(file):     905728 kB
Inactive(file):  1999872 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14284 kB
Writeback:            16 kB
AnonPages:        995908 kB
Mapped:           125412 kB
Shmem:             45912 kB
KReclaimable:     118264 kB
Slab:             233324 kB
SReclaimable:     118264 kB
SUnreclaim:       115060 kB
KernelStack:        4096 kB
PageTables:        11316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1486768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    841728 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:      211668 kB
DirectMap2M:    22630400 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 890040 MiB
End job on nodeC020 at 2024-07-19 19:28:59