Trace number 4510026

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
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.09 3609.3

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb
MD5SUM3c4292db534e5ed9ac145103152ac845
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 variables348
Total number of constraints928
Number of constraints which are clauses928
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 constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
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.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: 63665 MiB (62889 MiB free)
  memory of node 1: 64507 MiB (63838 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510026-1751184196/watcher-4510026-1751184196 -o /tmp/evaluation-result-4510026-1751184196/solver-4510026-1751184196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751180146-24284 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4510026-1751184196.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=25509, runsolver pid=25506
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.09 4.13 4.10 5/265 25510
/proc/meminfo: memFree=129768828/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=19952 memory=6068 CPUtime=0.1 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 791 0 0 0 10 0 0 0 20 0 1 0 34097488 20430848 1517 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 4988 1517 992 2593 0 1881 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19952 KiB
Current children cumulated memory: 6068 KiB

[startup+0.205455 s]*
/proc/loadavg: 4.09 4.13 4.10 5/265 25510
/proc/meminfo: memFree=129768828/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=20264 memory=6404 CPUtime=0.2 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 1271 0 0 0 20 0 0 0 20 0 1 0 34097488 20750336 1601 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 5066 1601 992 2593 0 1959 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20264 KiB
Current children cumulated memory: 6404 KiB

[startup+0.304659 s]*
/proc/loadavg: 4.09 4.13 4.10 5/265 25510
/proc/meminfo: memFree=129768828/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=20512 memory=6792 CPUtime=0.3 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 1638 0 0 0 30 0 0 0 20 0 1 0 34097488 21004288 1698 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 5128 1698 992 2593 0 2021 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20512 KiB
Current children cumulated memory: 6792 KiB

[startup+0.700106 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 25510
/proc/meminfo: memFree=129764732/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=22948 memory=8956 CPUtime=0.69 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 3159 0 0 0 69 0 0 0 20 0 1 0 34097488 23498752 2239 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 5737 2239 992 2593 0 2630 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22948 KiB
Current children cumulated memory: 8956 KiB

[startup+1.50011 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 25510
/proc/meminfo: memFree=129764988/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=23552 memory=9864 CPUtime=1.48 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 4766 0 0 0 148 0 0 0 20 0 1 0 34097488 24117248 2466 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 5888 2466 992 2593 0 2781 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 23552 KiB
Current children cumulated memory: 9864 KiB

[startup+3.10526 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 25510
/proc/meminfo: memFree=129765164/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=27648 memory=13728 CPUtime=3.09 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 7048 0 0 0 308 1 0 0 20 0 1 0 34097488 28311552 3432 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 6912 3432 992 2593 0 3805 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27648 KiB
Current children cumulated memory: 13728 KiB

[startup+6.30013 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 25510
/proc/meminfo: memFree=129765164/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=28144 memory=14144 CPUtime=6.27 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 12597 0 0 0 626 1 0 0 20 0 1 0 34097488 28819456 3536 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 7036 3536 992 2593 0 3929 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 28144 KiB
Current children cumulated memory: 14144 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 25510
/proc/meminfo: memFree=129765172/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=36376 memory=22424 CPUtime=12.65 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 17109 0 0 0 1263 2 0 0 20 0 1 0 34097488 37249024 5606 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 9094 5606 992 2593 0 5987 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 36376 KiB
Current children cumulated memory: 22424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 25510
/proc/meminfo: memFree=129753512/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=39120 memory=25388 CPUtime=25.43 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 24057 0 0 0 2539 4 0 0 20 0 1 0 34097488 40058880 6347 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 9780 6347 992 2593 0 6673 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 39120 KiB
Current children cumulated memory: 25388 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 25511
/proc/meminfo: memFree=129726000/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=54840 memory=40976 CPUtime=50.97 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 29745 0 0 0 5091 6 0 0 20 0 1 0 34097488 56156160 10244 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 13710 10244 992 2593 0 10603 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 54840 KiB
Current children cumulated memory: 40976 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 25559
/proc/meminfo: memFree=129853628/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=67292 memory=53316 CPUtime=102.04 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 34280 0 0 0 10195 9 0 0 20 0 1 0 34097488 68907008 13329 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 16823 13329 992 2593 0 13716 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 67292 KiB
Current children cumulated memory: 53316 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 25562
/proc/meminfo: memFree=129840424/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=76052 memory=62104 CPUtime=161.87 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 35983 0 0 0 16178 9 0 0 20 0 1 0 34097488 77877248 15526 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 19013 15526 992 2593 0 15906 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 76052 KiB
Current children cumulated memory: 62104 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 25565
/proc/meminfo: memFree=129831664/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=68808 memory=54936 CPUtime=221.71 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 37307 0 0 0 22161 10 0 0 20 0 1 0 34097488 70459392 13734 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 17202 13734 992 2593 0 14095 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 68808 KiB
Current children cumulated memory: 54936 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 25567
/proc/meminfo: memFree=129805324/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=72348 memory=58392 CPUtime=281.56 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 40964 0 0 0 28145 11 0 0 20 0 1 0 34097488 74084352 14598 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 18087 14598 992 2593 0 14980 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 72348 KiB
Current children cumulated memory: 58392 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 25569
/proc/meminfo: memFree=129832568/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=61016 memory=47284 CPUtime=341.42 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 42538 0 0 0 34130 12 0 0 20 0 1 0 34097488 62480384 11821 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 15254 11821 992 2593 0 12147 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 61016 KiB
Current children cumulated memory: 47284 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 25616
/proc/meminfo: memFree=129864564/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=66792 memory=52932 CPUtime=401.27 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 49283 0 0 0 40112 15 0 0 20 0 1 0 34097488 68395008 13233 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 16698 13233 992 2593 0 13591 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 66792 KiB
Current children cumulated memory: 52932 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 25624
/proc/meminfo: memFree=129850448/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=111776 memory=97940 CPUtime=461.1 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 52718 0 0 0 46093 17 0 0 20 0 1 0 34097488 114458624 24485 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 27944 24485 992 2593 0 24837 0
Current children cumulated CPU time: 461.1 s

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

Current children cumulated memory: 203288 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 25840
/proc/meminfo: memFree=129504712/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=148456 memory=131476 CPUtime=2914.94 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 93694 0 0 0 291434 60 0 0 20 0 1 0 34097488 152018944 32869 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 37114 32869 992 2593 0 34007 0
Current children cumulated CPU time: 2914.94 s
Current children cumulated vsize: 148456 KiB
Current children cumulated memory: 131476 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 25842
/proc/meminfo: memFree=129504676/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=153088 memory=139356 CPUtime=2974.78 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 99217 0 0 0 297416 62 0 0 20 0 1 0 34097488 156762112 34839 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 38272 34839 992 2593 0 35165 0
Current children cumulated CPU time: 2974.78 s
Current children cumulated vsize: 153088 KiB
Current children cumulated memory: 139356 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 25844
/proc/meminfo: memFree=129405036/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=221428 memory=202036 CPUtime=3034.62 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 103148 0 0 0 303397 65 0 0 20 0 1 0 34097488 226742272 50509 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 55357 50509 992 2593 0 52250 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 221428 KiB
Current children cumulated memory: 202036 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 25847
/proc/meminfo: memFree=129434552/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=221428 memory=206516 CPUtime=3094.46 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 104278 0 0 0 309381 65 0 0 20 0 1 0 34097488 226742272 51629 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 55357 51629 992 2593 0 52250 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 221428 KiB
Current children cumulated memory: 206516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 25849
/proc/meminfo: memFree=129419560/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=221428 memory=207540 CPUtime=3154.29 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 104504 0 0 0 315364 65 0 0 20 0 1 0 34097488 226742272 51885 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 55357 51885 992 2593 0 52250 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 221428 KiB
Current children cumulated memory: 207540 KiB

[startup+3222.3 s]
/proc/loadavg: 4.36 4.17 4.12 5/264 25851
/proc/meminfo: memFree=129441496/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=232680 memory=218752 CPUtime=3214.14 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 104785 0 0 0 321349 65 0 0 20 0 1 0 34097488 238264320 54688 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 58170 54688 992 2593 0 55063 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 232680 KiB
Current children cumulated memory: 218752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.17 4.12 5/264 25855
/proc/meminfo: memFree=129413780/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=238556 memory=224640 CPUtime=3273.98 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 105743 0 0 0 327333 65 0 0 20 0 1 0 34097488 244281344 56160 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 59639 56160 992 2593 0 56532 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 238556 KiB
Current children cumulated memory: 224640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/264 25858
/proc/meminfo: memFree=129480128/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=169068 memory=155312 CPUtime=3333.84 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 105743 0 0 0 333318 66 0 0 20 0 1 0 34097488 173125632 38828 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 42267 38828 992 2593 0 39160 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 169068 KiB
Current children cumulated memory: 155312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/264 25995
/proc/meminfo: memFree=129530196/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=213212 memory=196140 CPUtime=3393.67 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 108814 0 0 0 339300 67 0 0 20 0 1 0 34097488 218329088 49035 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 53303 49035 992 2593 0 50196 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 213212 KiB
Current children cumulated memory: 196140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 26003
/proc/meminfo: memFree=129489124/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=213212 memory=199212 CPUtime=3453.49 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 109677 0 0 0 345282 67 0 0 20 0 1 0 34097488 218329088 49803 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 53303 49803 992 2593 0 50196 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 213212 KiB
Current children cumulated memory: 199212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 26016
/proc/meminfo: memFree=129450820/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=235564 memory=221568 CPUtime=3513.31 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 110160 0 0 0 351264 67 0 0 20 0 1 0 34097488 241217536 55392 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 58891 55392 992 2593 0 55784 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 235564 KiB
Current children cumulated memory: 221568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/265 26018
/proc/meminfo: memFree=129520984/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=176920 memory=163164 CPUtime=3573.15 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 110625 0 0 0 357248 67 0 0 20 0 1 0 34097488 181166080 40791 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 44230 40791 992 2593 0 41123 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 176920 KiB
Current children cumulated memory: 163164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 26019
/proc/meminfo: memFree=129510188/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=192316 memory=171320 CPUtime=3600.08 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 114148 0 0 0 359939 69 0 0 20 0 1 0 34097488 196931584 42830 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 48079 42830 992 2593 0 44972 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 192316 KiB
Current children cumulated memory: 171320 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.4 s, system=0.697774 s

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

[startup+3609.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 26019
/proc/meminfo: memFree=129510188/131249996 swapFree=33010684/33010684
[pid=25509] ppid=25506 vsize=192316 memory=171320 CPUtime=3600.08 cores=1,3
/proc/25509/stat : 25509 (CASHWMaxSAT-Dis) R 25506 25509 24272 0 -1 4194304 114148 0 0 0 359939 69 0 0 20 0 1 0 34097488 196931584 42830 18446744073709551615 4198400 14817773 140724481804464 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23298048 140724481812842 140724481812957 140724481812957 140724481818559 0
/proc/25509/statm: 48079 42830 992 2593 0 44972 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 192316 KiB
Current children cumulated memory: 171320 KiB

Child status: 0

Real time (s): 3609.3
CPU time (s): 3600.09
CPU user time (s): 3599.4
CPU system time (s): 0.697774
CPU usage (%): 99.7449
Max. virtual memory (cumulated for all children) (KiB): 268084
Max. memory (cumulated for all children) (KiB): 254188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.4
system time used= 0.697774
maximum resident set size= 254188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114148
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= 50
involuntary context switches= 2539


# summary of solver processes directly reported to runsolver:
#   pid: 25509
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.4
#   total CPU system time (s): 0.697774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95155 second user time and 15.5144 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 10:03:16
IDJOB=4510026
IDBENCH=159702
IDSOLVER=3322
FILE ID=nodeC024/4510026-1751184196
RUNJOBID= nodeC024-1751180146-24284
SLURM_JOB_ID= 9587545
Free space on /tmp= 433020 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510026-1751184196/watcher-4510026-1751184196 -o /tmp/evaluation-result-4510026-1751184196/solver-4510026-1751184196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751180146-24284 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4510026-1751184196.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 3c4292db534e5ed9ac145103152ac845
RANDOM SEED=1653263514

nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.670
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3599.683
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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.890
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3597.041
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3599.662
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3599.672
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3616.444
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3688.241
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129769276 kB
MemAvailable:   129445060 kB
Buffers:            3280 kB
Cached:           485792 kB
SwapCached:            0 kB
Active:           624984 kB
Inactive:         265788 kB
Active(anon):     419764 kB
Inactive(anon):        0 kB
Active(file):     205220 kB
Inactive(file):   265788 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13840 kB
Writeback:             0 kB
AnonPages:        400632 kB
Mapped:           114840 kB
Shmem:             18064 kB
KReclaimable:      87628 kB
Slab:             173624 kB
SReclaimable:      87628 kB
SUnreclaim:        85996 kB
KernelStack:        4272 kB
PageTables:         3716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     749992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC024 at 2025-06-29 11:03:25