Trace number 4450850

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-DisjCom-SP 2024-07-10? (TO) 3600.09 3609.3

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
MD5SUMb3190b6d7590b4907713913d99d6bfc0
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 variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.60/0.61	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.60/0.61	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.08/3609.30	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 (60979 MiB free)
  memory of node 1: 64473 MiB (62666 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450850-1721414462/watcher-4450850-1721414462 -o /tmp/evaluation-result-4450850-1721414462/solver-4450850-1721414462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721412794-1026379 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4450850-1721414462.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=1027584, runsolver pid=1027581
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.10 4.14 3.75 5/257 1027585
/proc/meminfo: memFree=126597028/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=40172 memory=21276 CPUtime=0.09 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 4999 0 0 0 9 0 0 0 20 0 1 0 193615088 41136128 5319 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 10043 5319 970 2550 0 6998 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40172 KiB
Current children cumulated memory: 21276 KiB

[startup+0.206098 s]*
/proc/loadavg: 4.10 4.14 3.75 5/257 1027585
/proc/meminfo: memFree=126582180/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=48416 memory=32068 CPUtime=0.2 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 8185 0 0 0 19 1 0 0 20 0 1 0 193615088 49577984 8017 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 12104 8017 970 2550 0 9059 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48416 KiB
Current children cumulated memory: 32068 KiB

[startup+0.306017 s]*
/proc/loadavg: 4.10 4.14 3.75 5/257 1027585
/proc/meminfo: memFree=126583072/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=48412 memory=32184 CPUtime=0.3 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 8567 0 0 0 29 1 0 0 20 0 1 0 193615088 49573888 8046 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 12103 8046 986 2550 0 9058 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 32184 KiB

[startup+0.700236 s]
/proc/loadavg: 4.10 4.14 3.75 5/257 1027585
/proc/meminfo: memFree=126580556/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=51092 memory=33240 CPUtime=0.69 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 8874 0 0 0 68 1 0 0 20 0 1 0 193615088 52318208 8310 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 12773 8310 986 2550 0 9728 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51092 KiB
Current children cumulated memory: 33240 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.14 3.75 5/257 1027585
/proc/meminfo: memFree=126616476/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=53796 memory=37728 CPUtime=1.48 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 9945 0 0 0 147 1 0 0 20 0 1 0 193615088 55087104 9432 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 13449 9432 986 2550 0 10404 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53796 KiB
Current children cumulated memory: 37728 KiB

[startup+3.1058 s]
/proc/loadavg: 4.09 4.14 3.75 5/257 1027585
/proc/meminfo: memFree=126610952/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=53836 memory=37904 CPUtime=3.08 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 10602 0 0 0 307 1 0 0 20 0 1 0 193615088 55128064 9476 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 13459 9476 986 2550 0 10414 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53836 KiB
Current children cumulated memory: 37904 KiB

[startup+6.30021 s]
/proc/loadavg: 4.09 4.14 3.75 5/258 1027588
/proc/meminfo: memFree=126605708/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=65332 memory=47132 CPUtime=6.28 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 10906 0 0 0 626 2 0 0 20 0 1 0 193615088 66899968 11783 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 16333 11783 986 2550 0 13288 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 65332 KiB
Current children cumulated memory: 47132 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 3.75 5/258 1027588
/proc/meminfo: memFree=126600472/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=69752 memory=53280 CPUtime=12.66 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 11422 0 0 0 1264 2 0 0 20 0 1 0 193615088 71426048 13320 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 17438 13320 986 2550 0 14393 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 69752 KiB
Current children cumulated memory: 53280 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 3.76 5/258 1027590
/proc/meminfo: memFree=126572904/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=95648 memory=79740 CPUtime=25.42 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 12686 0 0 0 2539 3 0 0 20 0 1 0 193615088 97943552 19935 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 23912 19935 986 2550 0 20867 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95648 KiB
Current children cumulated memory: 79740 KiB

[startup+51.1059 s]
/proc/loadavg: 4.10 4.13 3.77 5/258 1027594
/proc/meminfo: memFree=126589040/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=95648 memory=79740 CPUtime=50.95 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 14421 0 0 0 5091 4 0 0 20 0 1 0 193615088 97943552 19935 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 23912 19935 986 2550 0 20867 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 95648 KiB
Current children cumulated memory: 79740 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 3.79 5/258 1027604
/proc/meminfo: memFree=126483744/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=125996 memory=110092 CPUtime=102 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 15434 0 0 0 10195 5 0 0 20 0 1 0 193615088 129019904 27523 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 31499 27523 986 2550 0 28454 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 110092 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 3.81 5/258 1027614
/proc/meminfo: memFree=126528976/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=114500 memory=98600 CPUtime=161.83 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 19965 0 0 0 16173 10 0 0 20 0 1 0 193615088 117248000 24650 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 28625 24650 986 2550 0 25580 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 114500 KiB
Current children cumulated memory: 98600 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 3.83 5/258 1027625
/proc/meminfo: memFree=126502016/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=125996 memory=109952 CPUtime=221.68 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 20315 0 0 0 22157 11 0 0 20 0 1 0 193615088 129019904 27488 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 31499 27488 986 2550 0 28454 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 109952 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.10 3.85 5/255 1027635
/proc/meminfo: memFree=126510404/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=114500 memory=98624 CPUtime=281.51 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 22477 0 0 0 28138 13 0 0 20 0 1 0 193615088 117248000 24656 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 28625 24656 986 2550 0 25580 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 114500 KiB
Current children cumulated memory: 98624 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 3.87 5/254 1027645
/proc/meminfo: memFree=126515864/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=114704 memory=93776 CPUtime=341.35 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 23966 0 0 0 34120 15 0 0 20 0 1 0 193615088 117456896 23444 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 28676 23444 986 2550 0 25631 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 114704 KiB
Current children cumulated memory: 93776 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.09 3.88 5/254 1027656
/proc/meminfo: memFree=126471272/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=175696 memory=146356 CPUtime=401.2 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 27546 0 0 0 40097 23 0 0 20 0 1 0 193615088 179912704 36589 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 43924 36589 986 2550 0 40879 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 175696 KiB
Current children cumulated memory: 146356 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.12 3.91 5/254 1027666
/proc/meminfo: memFree=126445000/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=175696 memory=148404 CPUtime=461.04 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 30995 0 0 0 46072 32 0 0 20 0 1 0 193615088 179912704 37101 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 43924 37101 986 2550 0 40879 0

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

Current children cumulated memory: 141748 KiB

[startup+2922.3 s]
/proc/loadavg: 4.26 4.14 4.10 5/257 1029508
/proc/meminfo: memFree=126683812/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=157372 memory=141748 CPUtime=2914.73 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 153129 0 0 0 291143 330 0 0 20 0 1 0 193615088 161148928 35437 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 39343 35437 986 2550 0 36298 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 157372 KiB
Current children cumulated memory: 141748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/260 1029579
/proc/meminfo: memFree=126628980/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=157372 memory=141748 CPUtime=2974.58 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 153187 0 0 0 297128 330 0 0 20 0 1 0 193615088 161148928 35437 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 39343 35437 986 2550 0 36298 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 157372 KiB
Current children cumulated memory: 141748 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/259 1029589
/proc/meminfo: memFree=126545020/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=157372 memory=141748 CPUtime=3034.44 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 160438 0 0 0 303092 352 0 0 20 0 1 0 193615088 161148928 35437 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 39343 35437 986 2550 0 36298 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 157372 KiB
Current children cumulated memory: 141748 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 1029600
/proc/meminfo: memFree=126600476/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=157372 memory=141748 CPUtime=3094.3 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 167340 0 0 0 309056 374 0 0 20 0 1 0 193615088 161148928 35437 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 39343 35437 986 2550 0 36298 0
Current children cumulated CPU time: 3094.3 s
Current children cumulated vsize: 157372 KiB
Current children cumulated memory: 141748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1029655
/proc/meminfo: memFree=126643112/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=157372 memory=141748 CPUtime=3154.15 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 167401 0 0 0 315041 374 0 0 20 0 1 0 193615088 161148928 35437 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 39343 35437 986 2550 0 36298 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 157372 KiB
Current children cumulated memory: 141748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 1029666
/proc/meminfo: memFree=126594044/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=187720 memory=164588 CPUtime=3214 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 168261 0 0 0 321025 375 0 0 20 0 1 0 193615088 192225280 41147 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 46930 41147 986 2550 0 43885 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 164588 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 1029676
/proc/meminfo: memFree=126545336/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=187720 memory=166636 CPUtime=3273.86 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 168326 0 0 0 327011 375 0 0 20 0 1 0 193615088 192225280 41659 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 46930 41659 986 2550 0 43885 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 166636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 1029733
/proc/meminfo: memFree=126591816/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=187720 memory=166636 CPUtime=3333.71 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 168390 0 0 0 332996 375 0 0 20 0 1 0 193615088 192225280 41659 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 46930 41659 986 2550 0 43885 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 166636 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 1029744
/proc/meminfo: memFree=126577156/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=206692 memory=177352 CPUtime=3393.57 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 174797 0 0 0 338962 395 0 0 20 0 1 0 193615088 211652608 44338 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 51673 44338 986 2550 0 48628 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 206692 KiB
Current children cumulated memory: 177352 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/255 1029754
/proc/meminfo: memFree=126546196/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=206692 memory=181804 CPUtime=3453.43 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 184031 0 0 0 344925 418 0 0 20 0 1 0 193615088 211652608 45451 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 51673 45451 986 2550 0 48628 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 206692 KiB
Current children cumulated memory: 181804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1029810
/proc/meminfo: memFree=126562784/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=187720 memory=169552 CPUtime=3513.29 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 192741 0 0 0 350898 431 0 0 20 0 1 0 193615088 192225280 42388 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 46930 42388 986 2550 0 43885 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 169552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 1029826
/proc/meminfo: memFree=126572032/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=187720 memory=169552 CPUtime=3573.14 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 192807 0 0 0 356883 431 0 0 20 0 1 0 193615088 192225280 42388 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 46930 42388 986 2550 0 43885 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 169552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1029831
/proc/meminfo: memFree=126551224/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=187720 memory=169552 CPUtime=3600.08 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 192807 0 0 0 359577 431 0 0 20 0 1 0 193615088 192225280 42388 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 46930 42388 986 2550 0 43885 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 169552 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.77 s, system=4.31554 s

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

[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1029831
/proc/meminfo: memFree=126551224/131524600 swapFree=131071996/131071996
[pid=1027584] ppid=1027581 vsize=187720 memory=169552 CPUtime=3600.08 cores=5,7
/proc/1027584/stat : 1027584 (CASHWMaxSAT-Dis) R 1027581 1027584 1026366 0 -1 4194304 192807 0 0 0 359577 431 0 0 20 0 1 0 193615088 192225280 42388 134679101440 4194304 14636349 140723329556992 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 34422784 140723329561569 140723329561685 140723329561685 140723329568702 0
/proc/1027584/statm: 46930 42388 986 2550 0 43885 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 187720 KiB
Current children cumulated memory: 169552 KiB

Child status: 0

Real time (s): 3609.3
CPU time (s): 3600.09
CPU user time (s): 3595.77
CPU system time (s): 4.31554
CPU usage (%): 99.7448
Max. virtual memory (cumulated for all children) (KiB): 286832
Max. memory (cumulated for all children) (KiB): 229984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.77
system time used= 4.31554
maximum resident set size= 229984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 2406


# summary of solver processes directly reported to runsolver:
#   pid: 1027584
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.77
#   total CPU system time (s): 4.31554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65946 second user time and 16.8542 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-19 20:41:14
IDJOB=4450850
IDBENCH=162293
IDSOLVER=3076
FILE ID=nodeC032/4450850-1721414462
RUNJOBID= nodeC032-1721412794-1026379
SLURM_JOB_ID= 7545488
Free space on /tmp= 890044 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-0.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450850-1721414462/watcher-4450850-1721414462 -o /tmp/evaluation-result-4450850-1721414462/solver-4450850-1721414462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721412794-1026379 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4450850-1721414462.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= b3190b6d7590b4907713913d99d6bfc0
RANDOM SEED=1902946825

nodeC032.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		: 3654.904
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	: 6999.33
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		: 3661.164
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.03
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		: 3599.879
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	: 6999.33
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.011
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.03
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		: 3654.978
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	: 6999.33
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		: 3652.505
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.03
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		: 3599.967
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	: 6999.33
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		: 3660.987
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.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126614496 kB
MemAvailable:   129266012 kB
Buffers:          538608 kB
Cached:          2935004 kB
SwapCached:            0 kB
Active:          1006012 kB
Inactive:        3239868 kB
Active(anon):       1564 kB
Inactive(anon):   816624 kB
Active(file):    1004448 kB
Inactive(file):  2423244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             13988 kB
Writeback:             0 kB
AnonPages:        772156 kB
Mapped:           118732 kB
Shmem:             45912 kB
KReclaimable:     127292 kB
Slab:             244064 kB
SReclaimable:     127292 kB
SUnreclaim:       116772 kB
KernelStack:        4176 kB
PageTables:        10656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1217296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    616448 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:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC032 at 2024-07-19 21:41:23