Trace number 4543892

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.01 3610.61

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_088.opb
MD5SUM225933de352582a5f5a47ed5392988f0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.31605
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables234990
Total number of constraints5311
Number of constraints which are clauses2671
Number of constraints which are cardinality constraints (but not clauses)2640
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint89
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 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 90
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.00/3610.60	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: 63708 MiB (55374 MiB free)
  memory of node 1: 64465 MiB (63275 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543892-1753228401/watcher-4543892-1753228401 -o /tmp/evaluation-result-4543892-1753228401/solver-4543892-1753228401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753224789-160908 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4543892-1753228401.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=161337, runsolver pid=161334
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.08 4.11 4.09 5/264 161338
/proc/meminfo: memFree=121463332/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=36160 memory=21408 CPUtime=0.1 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 5032 0 0 0 10 0 0 0 20 0 1 0 238462669 37027840 5352 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 9040 5352 864 2593 0 5933 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36160 KiB
Current children cumulated memory: 21408 KiB

[startup+0.205536 s]*
/proc/loadavg: 4.08 4.11 4.09 5/264 161338
/proc/meminfo: memFree=121439328/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=52748 memory=38080 CPUtime=0.2 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 9188 0 0 0 19 1 0 0 20 0 1 0 238462669 54013952 9520 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 13187 9520 864 2593 0 10080 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52748 KiB
Current children cumulated memory: 38080 KiB

[startup+0.305406 s]*
/proc/loadavg: 4.07 4.11 4.09 5/264 161338
/proc/meminfo: memFree=121419356/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=74248 memory=58528 CPUtime=0.3 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 14310 0 0 0 28 2 0 0 20 0 1 0 238462669 76029952 14632 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 18562 14632 864 2593 0 15455 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74248 KiB
Current children cumulated memory: 58528 KiB

[startup+0.700178 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 161338
/proc/meminfo: memFree=121377396/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=141072 memory=124332 CPUtime=0.69 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 27706 0 0 0 64 5 0 0 20 0 1 0 238462669 144457728 31083 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 35268 31083 864 2593 0 32161 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 141072 KiB
Current children cumulated memory: 124332 KiB

[startup+1.50019 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 161338
/proc/meminfo: memFree=121308156/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=291924 memory=266104 CPUtime=1.48 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 46629 0 0 0 139 9 0 0 20 0 1 0 238462669 298930176 65983 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 72981 65983 896 2593 0 69874 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 291924 KiB
Current children cumulated memory: 266104 KiB

[startup+3.10545 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 161383
/proc/meminfo: memFree=121351440/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=436392 memory=400816 CPUtime=3.08 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 67683 0 0 0 292 16 0 0 20 0 1 0 238462669 446865408 100204 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 109098 100204 960 2593 0 105991 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 436392 KiB
Current children cumulated memory: 400816 KiB

[startup+6.3002 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 161383
/proc/meminfo: memFree=121285080/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=455820 memory=420432 CPUtime=6.27 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 70649 0 0 0 608 19 0 0 20 0 1 0 238462669 466759680 105108 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 113955 105108 992 2593 0 110848 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 455820 KiB
Current children cumulated memory: 420432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 161383
/proc/meminfo: memFree=121251096/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=483600 memory=444724 CPUtime=12.65 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 74945 0 0 0 1241 24 0 0 20 0 1 0 238462669 495206400 111181 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 120900 111181 992 2593 0 117793 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 483600 KiB
Current children cumulated memory: 444724 KiB

[startup+25.5001 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 161383
/proc/meminfo: memFree=121234452/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=487664 memory=451708 CPUtime=25.41 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 79842 0 0 0 2510 31 0 0 20 0 1 0 238462669 499367936 112927 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 121916 112927 992 2593 0 118809 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 487664 KiB
Current children cumulated memory: 451708 KiB

[startup+51.105 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 161384
/proc/meminfo: memFree=121191952/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=493192 memory=457236 CPUtime=50.94 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 90116 0 0 0 5045 49 0 0 20 0 1 0 238462669 505028608 114309 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 123298 114309 992 2593 0 120191 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 493192 KiB
Current children cumulated memory: 457236 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 161386
/proc/meminfo: memFree=121123332/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=499728 memory=464640 CPUtime=101.99 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 102194 0 0 0 10125 74 0 0 20 0 1 0 238462669 511721472 116160 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 124932 116160 992 2593 0 121825 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 499728 KiB
Current children cumulated memory: 464640 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 161388
/proc/meminfo: memFree=121107276/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=501628 memory=466540 CPUtime=161.82 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 111575 0 0 0 16086 96 0 0 20 0 1 0 238462669 513667072 116635 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 125407 116635 992 2593 0 122300 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 501628 KiB
Current children cumulated memory: 466540 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 161390
/proc/meminfo: memFree=121081592/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=506532 memory=474132 CPUtime=221.66 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 121075 0 0 0 22048 118 0 0 20 0 1 0 238462669 518688768 118533 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 126633 118533 992 2593 0 123526 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 506532 KiB
Current children cumulated memory: 474132 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 161392
/proc/meminfo: memFree=121088184/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=513608 memory=484024 CPUtime=281.51 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 128448 0 0 0 28014 137 0 0 20 0 1 0 238462669 525934592 121006 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 128402 121006 992 2593 0 125295 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 513608 KiB
Current children cumulated memory: 484024 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 161395
/proc/meminfo: memFree=121080864/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=509872 memory=483744 CPUtime=341.36 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 134090 0 0 0 33984 152 0 0 20 0 1 0 238462669 522108928 120936 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 127468 120936 992 2593 0 124361 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 509872 KiB
Current children cumulated memory: 483744 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 161398
/proc/meminfo: memFree=120974812/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=513960 memory=487960 CPUtime=401.19 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 139915 0 0 0 39953 166 0 0 20 0 1 0 238462669 526295040 121990 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 128490 121990 992 2593 0 125383 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 513960 KiB
Current children cumulated memory: 487960 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 161414
/proc/meminfo: memFree=120956644/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=520468 memory=494468 CPUtime=461.03 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 144178 0 0 0 45923 180 0 0 20 0 1 0 238462669 532959232 123617 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 130117 123617 992 2593 0 127010 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 533504 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/262 161526
/proc/meminfo: memFree=120581268/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=557112 memory=533160 CPUtime=2853.98 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 240932 0 0 0 284889 509 0 0 20 0 1 0 238462669 570482688 133290 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 139278 133290 992 2593 0 136171 0
Current children cumulated CPU time: 2853.98 s
Current children cumulated vsize: 557112 KiB
Current children cumulated memory: 533160 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 161528
/proc/meminfo: memFree=120613628/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=563832 memory=539880 CPUtime=2913.8 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 241882 0 0 0 290865 515 0 0 20 0 1 0 238462669 577363968 134970 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 140958 134970 992 2593 0 137851 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 563832 KiB
Current children cumulated memory: 539880 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/263 161533
/proc/meminfo: memFree=120619468/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=561184 memory=537232 CPUtime=2973.61 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 244064 0 0 0 296838 523 0 0 20 0 1 0 238462669 574652416 134308 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 140296 134308 992 2593 0 137189 0
Current children cumulated CPU time: 2973.61 s
Current children cumulated vsize: 561184 KiB
Current children cumulated memory: 537232 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 161538
/proc/meminfo: memFree=120608164/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=556804 memory=532852 CPUtime=3033.43 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 245625 0 0 0 302813 530 0 0 20 0 1 0 238462669 570167296 133213 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 139201 133213 992 2593 0 136094 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 556804 KiB
Current children cumulated memory: 532852 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 161541
/proc/meminfo: memFree=120623896/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=565148 memory=541196 CPUtime=3093.25 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 247193 0 0 0 308787 538 0 0 20 0 1 0 238462669 578711552 135299 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 141287 135299 992 2593 0 138180 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 565148 KiB
Current children cumulated memory: 541196 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 161543
/proc/meminfo: memFree=120589216/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=564380 memory=540428 CPUtime=3153.07 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 248646 0 0 0 314762 545 0 0 20 0 1 0 238462669 577925120 135107 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 141095 135107 992 2593 0 137988 0
Current children cumulated CPU time: 3153.07 s
Current children cumulated vsize: 564380 KiB
Current children cumulated memory: 540428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 161548
/proc/meminfo: memFree=120613212/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=563444 memory=539492 CPUtime=3212.89 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 251318 0 0 0 320734 555 0 0 20 0 1 0 238462669 576966656 134873 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 140861 134873 992 2593 0 137754 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 563444 KiB
Current children cumulated memory: 539492 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 161550
/proc/meminfo: memFree=120669952/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=571120 memory=547168 CPUtime=3272.71 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 253057 0 0 0 326709 562 0 0 20 0 1 0 238462669 584826880 136792 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 142780 136792 992 2593 0 139673 0
Current children cumulated CPU time: 3272.71 s
Current children cumulated vsize: 571120 KiB
Current children cumulated memory: 547168 KiB

[startup+3342.3 s]
/proc/loadavg: 4.41 4.20 4.12 5/265 161552
/proc/meminfo: memFree=120639416/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=576592 memory=552640 CPUtime=3332.53 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 254084 0 0 0 332685 568 0 0 20 0 1 0 238462669 590430208 138160 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 144148 138160 992 2593 0 141041 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 576592 KiB
Current children cumulated memory: 552640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.12 5/265 161554
/proc/meminfo: memFree=120469680/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=736196 memory=712308 CPUtime=3392.34 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 293809 0 0 0 338646 588 0 0 20 0 1 0 238462669 753864704 178077 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 184049 178077 992 2593 0 180942 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 736196 KiB
Current children cumulated memory: 712308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/265 161556
/proc/meminfo: memFree=120435100/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=740468 memory=716580 CPUtime=3452.16 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 295377 0 0 0 344620 596 0 0 20 0 1 0 238462669 758239232 179145 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 185117 179145 992 2593 0 182010 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 740468 KiB
Current children cumulated memory: 716580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 161558
/proc/meminfo: memFree=120434820/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=738532 memory=714644 CPUtime=3511.98 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 297508 0 0 0 350592 606 0 0 20 0 1 0 238462669 756256768 178661 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 184633 178661 992 2593 0 181526 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 738532 KiB
Current children cumulated memory: 714644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/262 161562
/proc/meminfo: memFree=120432636/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=741520 memory=717632 CPUtime=3571.79 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 299375 0 0 0 356566 613 0 0 20 0 1 0 238462669 759316480 179408 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 185380 179408 992 2593 0 182273 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 741520 KiB
Current children cumulated memory: 717632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.08 4.14 4.10 4/257 161581
/proc/meminfo: memFree=120843144/131250000 swapFree=33010416/33010684
[pid=161337] ppid=161334 vsize=741520 memory=717632 CPUtime=3600 cores=4,6
/proc/161337/stat : 161337 (CASHWMaxSAT-Dis) R 161334 161337 160897 0 -1 4194304 299473 0 0 0 359385 615 0 0 20 0 1 0 238462669 759316480 179408 18446744073709551615 4198400 14817773 140724150020464 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54059008 140724150028648 140724150028763 140724150028763 140724150034367 0
/proc/161337/statm: 185380 179408 992 2593 0 182273 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 741520 KiB
Current children cumulated memory: 717632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.85 s, system=6.16075 s

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

Child status: 0

Real time (s): 3610.61
CPU time (s): 3600.01
CPU user time (s): 3593.85
CPU system time (s): 6.16075
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 1036384
Max. memory (cumulated for all children) (KiB): 1012320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.85
system time used= 6.16075
maximum resident set size= 1012320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299473
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= 74
involuntary context switches= 3281


# summary of solver processes directly reported to runsolver:
#   pid: 161337
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3593.85
#   total CPU system time (s): 6.16075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.52006 second user time and 13.701 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-23 01:53:21
IDJOB=4543892
IDBENCH=174715
IDSOLVER=3322
FILE ID=nodeC028/4543892-1753228401
RUNJOBID= nodeC028-1753224789-160908
SLURM_JOB_ID= 9687835
Free space on /tmp= 432984 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_30_088.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543892-1753228401/watcher-4543892-1753228401 -o /tmp/evaluation-result-4543892-1753228401/solver-4543892-1753228401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753224789-160908 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4543892-1753228401.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 225933de352582a5f5a47ed5392988f0
RANDOM SEED=971001680

nodeC028 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.967
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	: 7000.16
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		: 3600.180
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	: 7000.16
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		: 3601.741
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	: 7000.16
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.285
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	: 7000.16
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		: 3600.086
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	: 7000.16
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		: 3600.061
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	: 7000.16
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.261
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	: 7000.16
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		: 3595.349
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121507720 kB
MemAvailable:   129338180 kB
Buffers:            2132 kB
Cached:          8597956 kB
SwapCached:            4 kB
Active:          1388764 kB
Inactive:        7640676 kB
Active(anon):     447384 kB
Inactive(anon):     8308 kB
Active(file):     941380 kB
Inactive(file):  7632368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45980 kB
Writeback:            16 kB
AnonPages:        432644 kB
Mapped:           116780 kB
Shmem:             26256 kB
KReclaimable:     191900 kB
Slab:             287476 kB
SReclaimable:     191900 kB
SUnreclaim:        95576 kB
KernelStack:        4124 kB
PageTables:         3904 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     764932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432972 MiB
End job on nodeC028 at 2025-07-23 02:53:32